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

Logic in Computer Science: Modelling and Reasoning about Systems

Mark Ryan, Michael Huth

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...