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

Andre Platzer

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

Preço
$ 112,88

Item sob encomenda (no estoque do fornecedor)

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

Também disponível 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

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 28 de novembro de 2014
ISBN13 9783642444746
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 426
Dimensões 155 × 235 × 24 mm   ·   635 g
Idioma Inglês  

Mostrar tudo

Mais por Andre Platzer