Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics - Andre Platzer - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783642145087 - 5 de setembro de 2010
Caso a capa e o título não sejam correspondentes, considere o título como correto

Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics 2010 edition

Andre Platzer

Preço
SEK 1.069

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 19 - 27 de nov
Presentes de Natal podem ser trocados até 31 de janeiro
Adicione à sua lista de desejos do iMusic

Também disponível como:

Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics 2010 edition

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

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 5 de setembro de 2010
ISBN13 9783642145087
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 426
Dimensões 164 × 246 × 23 mm   ·   780 g
Idioma French  

Mostrar tudo

Mais por Andre Platzer