Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics - Andre Platzer - Bücher - Springer-Verlag Berlin and Heidelberg Gm - 9783642145087 - 5. September 2010
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics 2010 edition

Preis
SFr. 85,99
exkl. MwSt.

Bestellware

Lieferdatum: ca. 7. - 15. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden
Zu deiner iMusic Wunschliste hinzufügen

Auch vorhanden als:

Hybrid systems are models for complex physical systems and have become a widely used concept for understanding their behavior. Hybrid systems analysis studies how we can build computerized controllers for physical systems which are guaranteed to meet their design goals.


424 pages, 137 black & white illustrations, biography

Medien Bücher     Gebundenes Buch   (Buch mit hartem Rücken und steifem Einband)
Erscheinungsdatum 5. September 2010
ISBN13 9783642145087
Verlag Springer-Verlag Berlin and Heidelberg Gm
Seitenanzahl 426
Maße 164 × 246 × 23 mm   ·   780 g
Sprache Französisch  

Weitere Titel von Andre Platzer

Alle anzeigen