Skip to content
Scan a barcode
Scan
Hardcover Essential Logic for Computer Science Book

ISBN: 0262039184

ISBN13: 9780262039185

Essential Logic for Computer Science

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, but many computer science students study logic only in the context of traditional mathematics, encountering the subject in a few lectures and a handful of problem sets in a discrete math course...

Recommended

Format: Hardcover

Condition: New

$57.15
15 Available
Ships within 4-7 days

Customer Reviews

0 rating
Copyright © 2024 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
GoDaddy Verified and Secured