Essential Logic for Computer Science

by Rex L Page and Rex L. Page

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...

• Format: Hardcover
• Language: English
• ISBN: 0262039184
• ISBN13: 9780262039185
• Release Date: January 2019
• Publisher: MIT Press
• Length: 304 Pages
• Weight: 1.45 lbs.
• Dimensions: 0.9" x 7.2" x 9.1"