Due to the current situation the Delivey will be delayed than the standard shipping period (21 working days)
Call our hotline 011 7 463 463
| Author(s) :- Gamboa Ruben (University of Wyoming) | Format :- Hardback |
| Publisher :- MIT Press Ltd | Pub. Date :- 2019-02-05 |
| ISBN-13 :- 9780262039185 | |
| Series:- The MIT Press | |
| Pagination :- 304 pages, 81 b 162 Illustrations, unspecified | |
| Dimensions :- 229 x 178 x 22 |
An introduction to applying predicate logic to testing and verification of software and digital circuits that focuses on applications rather than theory.