Zurück
Vor

Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure
Kurzinformation
Sprache:
Englisch
ISBN:
3834814946
Verlag:
Seitenzahl:
163
Auflage:
-
Erschienen:
2011-02-10



inkl. MwSt. Versandinformationen
Artikel zZt. nicht lieferbar
Artikel zZt. nicht lieferbar
Weitere Zahlungsmöglichkeiten

Beschreibung
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure
Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems
Christian Herde deals with the development of decision procedures as needed, e.g., for automatic verification of hardware and software systems via bounded model checking. He provides methods for efficiently solving formulae comprising complex Boolean combinations of linear, polynomial, and transcendental arithmetic constraints, involving thousands of Boolean-, integer-, and real-valued variables. von Herde, Christian
Produktdetails
Einband:
Kartoniert
Seitenzahl:
163
Erschienen:
2011-02-10
Sprache:
Englisch
EAN:
9783834814944
ISBN:
3834814946
Verlag:
Gewicht:
275 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
:Dr. Christian Herde completed his doctoral thesis under the supervision of Prof. Dr. Martin Fränzle at the Department of Computing Science at the University of Oldenburg, Germany.
Neu
53,49 €
Entdecke mehr zum Thema
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,87 €
42,75 €
frontend/listing/product-box/box-product-slider.tpl
-97%
frontend/listing/product-box/box-product-slider.tpl
-93%
frontend/listing/product-box/box-product-slider.tpl
-89%
- Hardcover
- 504 Seiten
- Erschienen 1973
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Troelstra, Anne S.
7,92 €
69,54 €
frontend/listing/product-box/box-product-slider.tpl
-91%
frontend/listing/product-box/box-product-slider.tpl
-89%
- hardcover
- 608 Seiten
- Erschienen 1992
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Labahn, George
17,08 €
160,49 €
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
-85%
frontend/listing/product-box/box-product-slider.tpl
-95%
frontend/listing/product-box/box-product-slider.tpl
-94%
frontend/listing/product-box/box-product-slider.tpl
-25%
frontend/listing/product-box/box-product-slider.tpl
-92%
frontend/listing/product-box/box-product-slider.tpl
-86%
frontend/listing/product-box/box-product-slider.tpl
-86%
- hardcover
- 253 Seiten
- Erschienen 1994
- Vieweg+Teubner Verlag
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Hulsbergen, Wilfred W. J.
12,21 €
85,59 €
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-82%
frontend/listing/product-box/box-product-slider.tpl
-69%
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
-76%
- hardcover
- 198 Seiten
- Erschienen 1981
- McGraw-Hill Inc.,US
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Jeffrey, Richard C.
15,49 €
64,57 €
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-57%
- hardcover
- 368 Seiten
- Erschienen 1986
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Chinburg, C.-L.
41,43 €
96,29 €
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
-57%
- Pappe
- 208 Seiten
- Erschienen 1997
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Fine, Benjamin und Rosenber...
36,98 €
85,59 €
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-57%
frontend/listing/product-box/box-product-slider.tpl
-87%
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
-88%
- Taschenbuch
- 242 Seiten
- Erschienen 2008
- Dover Pubn Inc
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Moschovakis, Yiannis N
1,75 €
15,00 €
frontend/listing/product-box/box-product-slider.tpl