Scan barcode
304 pages • missing pub info (editions)
ISBN/UID: 9780262039185
Format: Hardcover
Language: English
Publisher: MIT Press
Publication date: 08 January 2019
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...
Community Reviews
Content Warnings
304 pages • missing pub info (editions)
ISBN/UID: 9780262039185
Format: Hardcover
Language: English
Publisher: MIT Press
Publication date: 08 January 2019
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...
Community Reviews
Content Warnings