Freunden von diesem Artikel berichten:
Verification and Control of Hybrid Systems: A Symbolic Approach Paulo Tabuada 2009 edition
Preis
SFr. 123,49
exkl. MwSt.
Bestellware
Lieferdatum: ca. 31. Dez - 8. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden
Zu deiner iMusic Wunschliste hinzufügen
Auch vorhanden als:
Verification and Control of Hybrid Systems: A Symbolic Approach
Paulo Tabuada
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, 1, black & white illustrations
| Medien | Bücher Gebundenes Buch (Buch mit hartem Rücken und steifem Einband) |
| Erscheinungsdatum | 15. Juni 2009 |
| ISBN13 | 9781441902238 |
| Verlag | Springer-Verlag New York Inc. |
| Seitenanzahl | 202 |
| Maße | 155 × 235 × 14 mm · 485 g |
| Sprache | Englisch |
Alle Titel von Paulo Tabuada ansehen ( u. a. Gebundenes Buch und Taschenbuch )