Verification and Control of Hybrid Systems: A Symbolic Approach - Paulo Tabuada - Libros - Springer-Verlag New York Inc. - 9781441954985 - 5 de noviembre de 2010
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 Softcover reprint of hardcover 1st ed. 2009 edition

Precio
$ 137,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 25 de jun. - 8 de jul.
Añadir a tu lista de deseos de iMusic

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, black & white illustrations

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 5 de noviembre de 2010
ISBN13 9781441954985
Editores Springer-Verlag New York Inc.
Páginas 202
Dimensiones 155 × 235 × 11 mm   ·   312 g
Lengua Inglés  

Mere med samme udgiver