Kniha momentálne nie je na sklade
Parametre
Viac o knihe
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.
Nákup knihy
Formal methods in computer aided design, Ganesh Gopalakrishnan
- Jazyk
- Rok vydania
- 1998
Akonáhle sa objaví, pošleme e-mail.
Platobné metódy
Nikto zatiaľ neohodnotil.