You need to sign in or sign up before continuing.

Logic in Computer Science: Modelling and Reasoning About Systems by Michael Huth, Michael Huth, Mark Ryan

Logic in Computer Science: Modelling and Reasoning About Systems

Michael Huth, Michael Huth, Mark Ryan

missing page info Add in missing page information first pub 1999 (view editions)

challenging informative reflective medium-paced
Powered by AI (Beta)
Loading...

Description

Recent years have seen the development of powerful tools for verifying hardware and software systems, as companies worldwide realise the need for improved means of validating their products. There is increasing demand for training in basic methods...

Read more

Community Reviews

Loading...

Content Warnings

Loading...