Il libro è attualmente esaurito
Parametri
Maggiori informazioni sul libro
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.
Acquisto del libro
Formal methods in computer aided design, Ganesh Gopalakrishnan
- Lingua
- Pubblicato
- 1998
Ti avviseremo via email non appena lo rintracceremo.
Metodi di pagamento
Ancora nessuna valutazione.