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

Hinta
SEK 1.119

Tilattu etävarastosta

Arvioitu toimitus ke - to 10. - 18. joulu
Joululahjoja voi vaihtaa 31.1. asti
Lisää iMusic-toivelistallesi
tai

Löytyy myös muodossa:

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 Ranska  

Näytä kaikki

Lisää tuotteita Andre Platzer