Abbildung von: Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure - Vieweg+Teubner Verlag

Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure

Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems
Christian Herde(Autor*in)
Vieweg+Teubner Verlag
Erschienen am 29. März 2011
XVII, 163 Seiten
E-Book
PDF mit Wasserzeichen-DRM
978-3-8348-9949-1 (ISBN)
53,49 €inkl. 7% MwSt.
Systemvoraussetzungen
für PDF mit Wasserzeichen-DRM
E-Book Einzellizenz
Als Download verfügbar

Beschreibung

Weitere Details

Weitere Ausgaben

Person

Inhalt

Systemvoraussetzungen