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

missing page info Add in missing page information • missing pub info (editions)

nonfiction computer science mathematics challenging informative reflective medium-paced
Powered by AI (Beta)
Loading...

Description

In recent years, powerful tools for verifying hardware and software systems have been developed. Major companies, such as Intel, Siemens, BT, AT&T, and IBM have increasingly become interested in that technology. Students need a basic formal tr...

Read more

Community Reviews

Loading...

Content Warnings

Loading...