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

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

Pris
€ 115,49

Bestilles fra fjernlager

Forventes klar til forsendelse 5. - 11. 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.


426 pages, biography

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 28. november 2014
ISBN13 9783642444746
Forlag Springer-Verlag Berlin and Heidelberg Gm
Antal sider 426
Mål 155 × 235 × 24 mm   ·   635 g
Sprog Engelsk  

Vis alle

Mere med Andre Platzer