Essential Logic for Computer Science by Rex Page, Ruben Gamboa

Essential Logic for Computer Science

Mit Press

Rex Page, Ruben Gamboa

304 pages missing pub info (editions)

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

Description

An introduction to applying predicate logic to testing and verification of software and digital circuits that focuses on applications rather than theory.Computer scientists use logic for testing and verification of software and digital circuits, b...

Read more

Community Reviews

Loading...

Content Warnings

Loading...