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

Logic in Computer Science: Modelling and Reasoning about Systems

Michael Huth, Mark Ryan

447 pages first pub 1999 (editions)

nonfiction computer science mathematics informative slow-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...