Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure
Kurzinformation
Sprache:
Englisch
ISBN:
3834814946
Verlag:
Seitenzahl:
163
Auflage:
-
Erschienen:
2011-02-10
bestellen
Handgeprüfte Gebrauchtware
Schnelle Lieferung
Faire Preise
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.
Entdecke mehr vom Verlag
Neu
53,49 €
Entdecke mehr zum Thema
