Formal Verification
An Essential Toolkit for Modern VLSI Design
Specificaties
ISBN/EAN | 9780323956123 |
Auteur | Erik (Senior Product Engineering Architect Seligman |
Uitgever | Van Ditmar Boekenimport B.V. |
Taal | Engels |
Uitvoering | Paperback / gebrocheerd |
Pagina's | 424 |
Lengte | |
Breedte |