Broschiertes Buch
Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems
2011
10. Februar 2011
Vieweg+Teubner / Vieweg+Teubner Verlag
85046007,978-3-8348-1494-4
eBook, PDF | 40,95 € |
53,49 €**
40,95 €
**Preis der gedruckten Ausgabe (Broschiertes Buch)
Sofort per Download lieferbar
VersandkostenfreiEfficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure (eBook, PDF)
eBook, PDF
29. März 2011
Vieweg+Teubner Verlag
Ähnlichkeitssuche: Fact®Finder von OMIKRON