Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics - Andre Platzer - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783642444746 - 28 de noviembre de 2014
En caso de que portada y título no coincidan, el título será el correcto

Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics 2010 edition

Precio
€ 95,99

Pedido desde almacén remoto

Entrega prevista 12 - 20 de ene. de 2026
Los regalos de Navidad se podrán canjear hasta el 31 de enero
Añadir a tu lista de deseos de iMusic

También disponible como:

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.


426 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 28 de noviembre de 2014
ISBN13 9783642444746
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 426
Dimensiones 155 × 235 × 24 mm   ·   635 g
Lengua Inglés  

Mas por Andre Platzer

Mostrar todo