Verification and Control of Hybrid Systems: A Symbolic Approach - Paulo Tabuada - Livros - Springer-Verlag New York Inc. - 9781441902238 - 15 de junho de 2009
Caso a capa e o título não sejam correspondentes, considere o título como correto

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

Paulo Tabuada

Preço
Íkr 20.075,34

Item sob encomenda (no estoque do fornecedor)

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

Também disponível como:

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

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

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 15 de junho de 2009
ISBN13 9781441902238
Editoras Springer-Verlag New York Inc.
Páginas 202
Dimensões 155 × 235 × 14 mm   ·   485 g
Idioma English