Verification and Control of Hybrid Systems: A Symbolic Approach - Paulo Tabuada - Bøker - Springer-Verlag New York Inc. - 9781441902238 - 15. juni 2009
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

Verification and Control of Hybrid Systems: A Symbolic Approach 2009 edition

Pris
NOK 1.549

Bestillingsvarer

Forventes levert 30. des - 7. jan 2026
Julegaver kan byttes frem til 31. januar
Legg til iMusic ønskeliste
eller

Finnes også som:

Hybrid systems describe the interaction of software, described by finite models such as finite-state machines, with the physical world, described by infinite models such as differential equations.


202 pages, 1, black & white illustrations

Media Bøker     Innbunden bok   (Bok med hard rygg og stivt omslag)
Utgitt 15. juni 2009
ISBN13 9781441902238
Utgivere Springer-Verlag New York Inc.
Antall sider 202
Mål 155 × 235 × 14 mm   ·   485 g
Språk Engelsk