Seligman, Erik (Autor)
Formal Verification
An Essential Toolkit for Modern VLSI Design
Beschreibung
Produktdetails
| ISBN/GTIN | 978-0-323-95613-0 |
|---|---|
| Seitenzahl | 424 S. |
| Kopierschutz | Digital Rights Management |
| Dateigröße | 52240 Kbytes |