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

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 Summary of 6 ratings

Average rating

3.5

Content Warnings

This book doesn't have any content warnings yet!

If you're the author of this book and want to add author-approved content warnings, please email us at [email protected] to request the content warning form.