Bemærk: Kan ikke leveres før jul.
Forventes på lager: 08-01-2019
An introduction to applying predicate logic to testing and verification of software and digital circuits that focuses on applications rather than theory.
| Forlag | MIT Press Ltd |
| Forfattere | Rex (Professor (Emeritus) Page, Ruben (University of Wyoming) Gamboa |
| Type | Bog |
| Format | Hardback |
| Sprog | Engelsk |
| Udgivelsesdato | 08-01-2019 |
| Første udgivelsesår | 2019 |
| Serie | The MIT Press |
| Illustrationer | 81 b 162 Illustrations |
| Originalsprog | United States |
| Sideantal | 304 |
| Indbinding | Hardback |
| Forlag | MIT Press Ltd |
| Sideoplysninger | 304 pages, 81 b 162 Illustrations |
| Mål | 185 x 236 x 24 |
| ISBN-13 / EAN-13 | 9780262039185 |