Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics - Andre Platzer - Bøker - Springer-Verlag Berlin and Heidelberg Gm - 9783642145087 - 5. september 2010
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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

Pris
SFr. 85,99

Bestillingsvarer

Forventes levert 9. - 17. des
Julegaver kan byttes frem til 31. januar
Legg til iMusic ønskeliste
eller

Finnes 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

Media Bøker     Innbunden bok   (Bok med hard rygg og stivt omslag)
Utgitt 5. september 2010
ISBN13 9783642145087
Utgivere Springer-Verlag Berlin and Heidelberg Gm
Antall sider 426
Mål 164 × 246 × 23 mm   ·   780 g
Språk Fransk  

Vis alle

Mer med Andre Platzer