Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics - Andre Platzer - Książki - Springer-Verlag Berlin and Heidelberg Gm - 9783642145087 - 5 września 2010
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ł 407,90

Zamówione z odległego magazynu

Przewidywana dostawa 7 - 15 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.


424 pages, 137 black & white illustrations, biography

Media Książki     Hardcover Book   (Książka z twardym grzbietem i okładką)
Wydane 5 września 2010
ISBN13 9783642145087
Wydawcy Springer-Verlag Berlin and Heidelberg Gm
Strony 426
Wymiary 164 × 246 × 23 mm   ·   780 g
Język Francuski  

Więcej od Andre Platzer

Pokaż wszystko