Neuware
Logical Analysis of Hybrid Systems - Proving Theorems for Complex Dynamics
von André Platzer
2010 Gebunden, 456 Seiten, 241mm x 160mm x 33mm, Sprache(n): eng A unique approach to hybrid systems verificationThe first book that leverages the power of logic for hybrid systemsIntended for researchers, postgraduates, and professionals bookIncludes supplementary material: sn.pub/extrasHybrid…
Neuware
Anbieter: MARZIES Buch- und Medienhandel, Schönwalde-Glien, Deutschland
121,78 EUR
Kostenloser Versand
Nichts passendes gefunden?
- ISBN / EAN
- 9783642145087
Link zur Suche kopieren
Speichern Sie Ihre Suche als Auftrag für einen späteren Zeitpunkt und lassen Sie sich bei neu eintreffenden Artikeln automatisch per E-Mail benachrichtigen (optional)!