Conte aos seus amigos sobre este item:
Verification and Control of Hybrid Systems: A Symbolic Approach 2009 edition
Paulo Tabuada
Verification and Control of Hybrid Systems: A Symbolic Approach 2009 edition
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
| Mídia | Livros Hardcover Book (Livro com lombada e capa dura) |
| Lançado | 15 de junho de 2009 |
| ISBN13 | 9781441902238 |
| Editoras | Springer-Verlag New York Inc. |
| Páginas | 202 |
| Dimensões | 155 × 235 × 14 mm · 485 g |
| Idioma | English |
Ver tudo de Paulo Tabuada ( por exemplo Hardcover Book e Paperback Book )
Presentes de Natal podem ser trocados até 31 de janeiro