Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics - Andre Platzer - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783642145087 - sunnuntai 5. syyskuuta 2010
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Andre Platzer

Hinta
SFr. 93,99

Tilattu etävarastosta

Arvioitu toimitus pe - ma 14. - 24. marras
Joululahjoja voi vaihtaa 31.1. asti
Lisää iMusic-toivelistallesi
tai

Löytyy myös muodossa:

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

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 Kirjat     Hardcover Book   (Sidottu kirja kovilla kansilla sekä suojakannella)
Julkaisupäivämäärä sunnuntai 5. syyskuuta 2010
ISBN13 9783642145087
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 426
Mitta 164 × 246 × 23 mm   ·   780 g
Kieli French  

Näytä kaikki

Lisää tuotteita Andre Platzer