Verification and Control of Hybrid Systems: A Symbolic Approach - Paulo Tabuada - Bøger - Springer-Verlag New York Inc. - 9781441954985 - 5. november 2010
Ved uoverensstemmelse mellem cover og titel gælder titel

Verification and Control of Hybrid Systems: A Symbolic Approach Softcover reprint of hardcover 1st ed. 2009 edition

Pris
DKK 1.110

Bestilles fra fjernlager

Forventes klar til forsendelse 30. dec. - 5. jan. 2026
Julegaver kan byttes frem til 31. januar
Tilføj til din iMusic ønskeseddel
eller

Findes 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, black & white illustrations

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 5. november 2010
ISBN13 9781441954985
Forlag Springer-Verlag New York Inc.
Antal sider 202
Mål 155 × 235 × 11 mm   ·   312 g
Sprog Engelsk