Verification and Control of Hybrid Systems: A Symbolic Approach - Paulo Tabuada - Libros - Springer-Verlag New York Inc. - 9781441902238 - 15 de junio de 2009
En caso de que portada y título no coincidan, el título será el correcto

Verification and Control of Hybrid Systems: A Symbolic Approach 2009 edition

Precio
Mex$ 2.686
sin IVA

Pedido desde almacén remoto

Entrega prevista 21 de jul. - 6 de ago.
Recibe notificaciones sobre nuevos lanzamientos de Paulo Tabuada
Añadir a tu lista de deseos de iMusic

Aún no valorado

También disponible como:

Hybrid systems describe the interaction of software, described by finite models such as finite-state machines, with the physical world, described by infinite models such as differential equations.


202 pages, 1, black & white illustrations

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 15 de junio de 2009
ISBN13 9781441902238
Editores Springer-Verlag New York Inc.
Páginas 202
Dimensiones 155 × 235 × 14 mm   ·   485 g
Lengua Inglés  

Más del mismo editor