Zurück
Vor
Schaue jetzt ins Buch
SAT-Based Scalable Formal Verification Solutions
Kurzinformation
Sprache:
Englisch
ISBN:
0387691669
Verlag:
Seitenzahl:
360
Auflage:
-
Erschienen:
2007-05-22
Handgeprüfte Gebrauchtware
Schnelle Lieferung
Faire Preise
inkl. MwSt. Versandinformationen
Artikel zZt. nicht lieferbar
Artikel zZt. nicht lieferbar
Weitere Zahlungsmöglichkeiten
Beschreibung
SAT-Based Scalable Formal Verification Solutions
This book provides an engineering insight into how to provide a scalable and robust verification solution with ever increasing design complexity and sizes. It describes SAT-based model checking approaches and gives engineering details on what makes model checking practical. The book brings together the various SAT-based scalable emerging technologies and techniques covered can be synergistically combined into a scalable solution. von Gupta, Aarti und Ganai, Malay
Produktdetails
Einband:
Gebunden
Seitenzahl:
360
Erschienen:
2007-05-22
Sprache:
Englisch
EAN:
9780387691664
ISBN:
0387691669
Verlag:
Gewicht:
705 g
Auflage:
-
Verwandte Sachgebiete:
Alle gebrauchten Bücher werden von uns handgeprüft.
So garantieren wir Dir zu jeder Zeit Premiumqualität.
So garantieren wir Dir zu jeder Zeit Premiumqualität.
Über den Autor
Neu
160,49 €
Entdecke mehr Gebrauchtes für Dich
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
- Hardcover
- 352 Seiten
- Wiley
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Marshall, Brandeis Hill (Re...
9,18 €
frontend/listing/product-box/box-product-slider.tpl
- Hardcover
- 352 Seiten
- Wiley
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Looper, Jen (Boston Univers...
6,20 €
frontend/listing/product-box/box-product-slider.tpl