Vertel uw vrienden over dit artikel:
Verification and Control of Hybrid Systems: A Symbolic Approach Paulo Tabuada 2009 edition
Verification and Control of Hybrid Systems: A Symbolic Approach
Paulo Tabuada
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 | Boeken Hardcover Book (Boek met harde rug en kaft) |
| Vrijgegeven | 15 juni 2009 |
| ISBN13 | 9781441902238 |
| Uitgevers | Springer-Verlag New York Inc. |
| Pagina's | 202 |
| Afmetingen | 155 × 235 × 14 mm · 485 g |
| Taal en grammatica | Engels |
Bekijk alles van Paulo Tabuada ( bijv. Hardcover Book en Paperback Book )
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld