Het boek is momenteel niet op voorraad
Parameters
Meer over het boek
Taken from a conference on formal methods in computer-aided design, the papers in this volume present the state-of-the-art in formal verification methods for digital circuits and systems, including processors, custom VLSI circuits, microcode, and reactive software.
Een boek kopen
Formal methods in computer aided design, Ganesh Gopalakrishnan
- Taal
- Jaar van publicatie
- 1998
Zodra we het ontdekt hebben, sturen we een e-mail.
Betaalmethoden
Nog niemand heeft beoordeeld.