Conte aos seus amigos sobre este item:
Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics 2010 edition
Andre Platzer
Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics 2010 edition
Andre Platzer
Hybrid systems are models for complex physical systems and have become a widely used concept for understanding their behavior. Hybrid systems analysis studies how we can build computerized controllers for physical systems which are guaranteed to meet their design goals.
424 pages, 137 black & white illustrations, biography
| Mídia | Livros Hardcover Book (Livro com lombada e capa dura) |
| Lançado | 5 de setembro de 2010 |
| ISBN13 | 9783642145087 |
| Editoras | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 426 |
| Dimensões | 164 × 246 × 23 mm · 780 g |
| Idioma | French |
Mostrar tudo
Mais por Andre Platzer
Ver tudo de Andre Platzer ( por exemplo Paperback Book e Hardcover Book )
Presentes de Natal podem ser trocados até 31 de janeiro