Le livre est actuellement en rupture de stock
Paramètres
En savoir plus sur le livre
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.
Achat du livre
Formal methods in computer aided design, Ganesh Gopalakrishnan
- Langue
- Année de publication
- 1998
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.
Modes de paiement
Personne n'a encore évalué .