Essential Logic for Computer Sciencethe_mit_press978-02-6203-918-597802620391852019-01-08English (United States)304HardcoverBook profileEnglish (United States)
Book · 1 edition
Essential Logic for Computer Science
- 2019
- first published
- English
- language
- 1
- edition in English
- 304
- pages
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...
Editions
1 edition · sort: newestEssential Logic for Computer Sciencethe_mit_press978-02-6203-918-597802620391852019-01-08English (United States)304Hardcover