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
Mex$ 1.844
sin IVA

Pedido desde almacén remoto

Entrega prevista 4 - 14 de ago.
Recibe notificaciones sobre nuevos lanzamientos de Andre Platzer
Añadir a tu lista de deseos de iMusic

Aún no valorado

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

Más del mismo editor