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



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:
-

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 zum Thema
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-90%
frontend/listing/product-box/box-product-slider.tpl
-98%
- Hardcover
- 264 Seiten
- World Scientific Publishing...
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Ramesh, S.;Shyamasundar, R K;
2,38 €
121,50 €
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-89%
- Hardcover
- 300 Seiten
- Erschienen 1971
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Scarpellini, Bruno
4,71 €
42,75 €
frontend/listing/product-box/box-product-slider.tpl
-98%
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-90%
- Hardcover
- 388 Seiten
- Erschienen 1993
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Fritzson, Peter A.
5,50 €
53,49 €
frontend/listing/product-box/box-product-slider.tpl
-68%
frontend/listing/product-box/box-product-slider.tpl
-98%
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-93%
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-22%
- Gebunden
- 275 Seiten
- Erschienen 2005
- Wiley-VCH
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Zlokarnik, Marko
128,25 €
165,00 €
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-99%
- Hardcover
- 352 Seiten
- Erschienen 2020
- Wiley-Scrivener
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Kanagachidambaresan, G. R.
2,55 €
238,50 €
frontend/listing/product-box/box-product-slider.tpl
-90%
frontend/listing/product-box/box-product-slider.tpl
-49%
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-95%
frontend/listing/product-box/box-product-slider.tpl
-58%
- paperback
- 500 Seiten
- Erschienen 2008
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Katoen, Joost-Pieter
24,13 €
57,23 €
frontend/listing/product-box/box-product-slider.tpl
-58%
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-39%
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-58%
frontend/listing/product-box/box-product-slider.tpl
-41%
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-96%
- Gebunden
- 378 Seiten
- Erschienen 2012
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Higuera-Toledano, M. Teresa
4,57 €
106,99 €
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-96%
- Hardcover
- 432 Seiten
- Erschienen 2006
- Wiley-Interscience
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
El-Haik, Basem;Al-Aomar, Raid;
6,44 €
180,50 €
frontend/listing/product-box/box-product-slider.tpl
-95%
frontend/listing/product-box/box-product-slider.tpl
-89%
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-72%
- Kartoniert
- 736 Seiten
- Erschienen 2007
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Grumberg, Orna und Huth, Mi...
32,33 €
114,48 €