Das Buch ist derzeit nicht auf Lager
Parameter
Mehr zum Buch
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.
Buchkauf
Formal methods in computer aided design, Ganesh Gopalakrishnan
- Sprache
- Erscheinungsdatum
- 1998
Wir benachrichtigen dich per E-Mail.
Lieferung
- Gratis Versand in ganz Österreich
Zahlungsmethoden
Keiner hat bisher bewertet.