1 / 1
- 2019
- year of publication
- 304
- pages
- English (United States)
- language
- Hardcover
- cover
- Publisher
- the_mit_press
- ISBN-13
- 978-02-6203-918-5
- EAN
- 9780262039185
- Publication date
- 2019-01-08
- Book
- Essential Logic for Computer Science · 1 edition
The publisher on this edition
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...