El libro está agotado actualmente
Parámetros
Más información sobre el 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.
Compra de libros
Formal methods in computer aided design, Ganesh Gopalakrishnan
- Idioma
- Publicado en
- 1998
Te avisaremos por correo electrónico en cuanto lo localicemos.
Métodos de pago
Nadie lo ha calificado todavía.