Verification and Control of Hybrid Systems: A Symbolic Approach - Paulo Tabuada - Książki - Springer-Verlag New York Inc. - 9781441954985 - 5 listopada 2010
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

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

Cena
zł 524,90

Zamówione z odległego magazynu

Przewidywana dostawa 8 - 16 sty 2026
Świąteczne prezenty można zwracać do 31 stycznia
Dodaj do swojej listy życzeń iMusic

Również dostępne jako:

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

Media Książki     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 5 listopada 2010
ISBN13 9781441954985
Wydawcy Springer-Verlag New York Inc.
Strony 202
Wymiary 155 × 235 × 11 mm   ·   312 g
Język Angielski