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

Logic in Computer Science: Modelling and Reasoning About Systems

Mark Ryan, Michael Huth, Michael Huth

missing page info Add in missing page information first pub 1999 (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...