Verification and Control of Hybrid Systems: A Symbolic Approach - Paulo Tabuada - Bücher - Springer-Verlag New York Inc. - 9781441954985 - 5. November 2010
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

Verification and Control of Hybrid Systems: A Symbolic Approach Softcover reprint of hardcover 1st ed. 2009 edition

Preis
SFr. 110,99
exkl. MwSt.

Bestellware

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

Auch vorhanden als:

Hybrid systems describe the interaction of software, described by finite models such as finite-state machines, with the physical world, described by infinite models such as differential equations.


202 pages, black & white illustrations

Medien Bücher     Taschenbuch   (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum 5. November 2010
ISBN13 9781441954985
Verlag Springer-Verlag New York Inc.
Seitenanzahl 202
Maße 155 × 235 × 11 mm   ·   312 g
Sprache Englisch