Abstraction Refinement for Large Scale Model Checking (Integrated Circuits and Systems)

Wang, Chao, Hachtel, Gary D., Somenzi, Fabio

ISBN 10: 0470920513 ISBN 13: 9780470920510
Verlag: Springer
Zustand: Gebraucht - Befriedigend

Verkauft von Wonder Book, Frederick, MD, USA

Verbandsmitglied:

Heritage Bookseller
AbeBooks-Mitglied seit 1996

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Alle Artikel dieses Verkäufers anzeigen


Gebraucht

Zustand: Gebraucht - Befriedigend

Preis:
EUR 6,64
Kostenlos für den Versand innerhalb von/der USA

Anzahl: 1 verfügbar

In den Warenkorb legen