Formal Verification of Control System Software - Princeton Series in Applied Mathematics - Pierre-Loic Garoche - Livros - Princeton University Press - 9780691181301 - 14 de maio de 2019
Caso a capa e o título não sejam correspondentes, considere o título como correto

Formal Verification of Control System Software - Princeton Series in Applied Mathematics

Pierre-Loic Garoche

Preço
Íkr 10.726,14

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 17 - 26 de nov
Presentes de Natal podem ser trocados até 31 de janeiro

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do iMusic

Formal Verification of Control System Software - Princeton Series in Applied Mathematics

An essential introduction to the analysis and verification of control system softwareThe verification of control system software is critical to a host of technologies and industries, from aeronautics and medical technology to the cars we drive. The failure of controller software can cost people their lives. In this authoritative and accessible

224 pages, 79 b/w illus.

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 14 de maio de 2019
ISBN13 9780691181301
Editoras Princeton University Press
Páginas 232
Dimensões 243 × 163 × 15 mm   ·   536 g
Idioma English  
Mostrar tudo

Mais por Pierre-Loic Garoche

Ver tudo de Pierre-Loic Garoche ( por exemplo Hardcover Book e Paperback Book )