Seligman, Erik (Autor)
Schubert, Tom (Autor)
Kumar, M. V. Achutha Kiran (Autor)
Formal Verification
An Essential Toolkit for Modern VLSI Design
Beschreibung
Produktdetails
| ISBN/GTIN | 978-0-12-800815-7 |
|---|---|
| Seitenzahl | 408 S. |
| Kopierschutz | Digital Rights Management |
| Dateigröße | 4743 Kbytes |