Verification and Control of Hybrid Systems: A Symbolic Approach - Paulo Tabuada - Kirjat - Springer-Verlag New York Inc. - 9781441902238 - maanantai 15. kesäkuuta 2009
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Hinta
€ 144,99

Tilattu etävarastosta

Arvioitu toimitus ti 30. joulu - ke 7. tammi 2026
Joululahjoja voi vaihtaa 31.1. asti
Lisää iMusic-toivelistallesi
tai

Löytyy myös muodossa:

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 Kirjat     Hardcover Book   (Sidottu kirja kovilla kansilla sekä suojakannella)
Julkaisupäivämäärä maanantai 15. kesäkuuta 2009
ISBN13 9781441902238
Tuottaja Springer-Verlag New York Inc.
Sivujen määrä 202
Mitta 155 × 235 × 14 mm   ·   485 g
Kieli Englanti