Abstraction Refinement for Large Scale Model Checking - Integrated Circuits and Systems - Chao Wang - Bücher - Springer-Verlag New York Inc. - 9781489993953 - 6. Dezember 2014
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

Chao Wang
Abstraction Refinement for Large Scale Model Checking - Integrated Circuits and Systems 2006 edition

Preis
SFr. 93,49
exkl. MwSt.

Bestellware

Lieferdatum: ca. 13. - 21. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden

Unsere Kunden sagen:

14-Tage-Rückgaberecht
Topbewertung bei Trustpilot
Zu deiner iMusic Wunschliste hinzufügen

Auch vorhanden als:

This book summarizes recent research on abstraction techniques for model checking large digital system. Considering the size of today's digital systems and the capacity of state-of-the-art verification algorithms, abstraction is the only viable solution for the successful application of model checking techniques to industrial-scale designs.

179 pages, biography

Medien Bücher     Taschenbuch   (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum 6. Dezember 2014
ISBN13 9781489993953
Verlag Springer-Verlag New York Inc.
Seitenanzahl 179
Maße 155 × 235 × 11 mm   ·   281 g
Sprache Englisch  

Weitere Titel von Chao Wang

Alle anzeigen

Alle Titel von Chao Wang ansehen ( u. a. Gebundenes Buch und Taschenbuch )