Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics - Andre Platzer - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783642145087 - 5 de septiembre de 2010
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
$ 106,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 23 de jun. - 6 de jul.
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.


424 pages, 137 black & white illustrations, biography

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 5 de septiembre de 2010
ISBN13 9783642145087
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 426
Dimensiones 164 × 246 × 23 mm   ·   780 g
Lengua Francés  

Mas por Andre Platzer

Mostrar todo

Mere med samme udgiver