Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics - Andre Platzer - Bøger - Springer-Verlag Berlin and Heidelberg Gm - 9783642145087 - 5. september 2010
Ved uoverensstemmelse mellem cover og titel gælder titel

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

Pris
SFr. 107,49

Bestilles fra fjernlager

Forventes klar til forsendelse 16. - 22. dec.
Julegaver kan byttes frem til 31. januar
Tilføj til din iMusic ønskeseddel
eller

Findes også som:

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

Medie Bøger     Hardcover bog   (Bog med hård ryg og stift omslag)
Udgivet 5. september 2010
ISBN13 9783642145087
Forlag Springer-Verlag Berlin and Heidelberg Gm
Antal sider 426
Mål 164 × 246 × 23 mm   ·   780 g
Sprog Fransk  

Vis alle

Mere med Andre Platzer