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

Pedido desde almacén remoto

Entrega prevista 30 de jul. - 11 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.


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

Más del mismo editor