Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics - Andre Platzer - Książki - Springer-Verlag Berlin and Heidelberg Gm - 9783642444746 - 28 listopada 2014
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

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

Cena
zł 409,90

Zamówione z odległego magazynu

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

Również dostępne jako:

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.


426 pages, biography

Media Książki     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 28 listopada 2014
ISBN13 9783642444746
Wydawcy Springer-Verlag Berlin and Heidelberg Gm
Strony 426
Wymiary 155 × 235 × 24 mm   ·   635 g
Język Angielski  

Więcej od Andre Platzer

Pokaż wszystko