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

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

Preço
R$ 458,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 30 de set - 12 de out
Receba avisos sobre novos lançamentos de Pierre-Loic Garoche

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

Ainda não avaliado

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   ·   521 g
Idioma Inglês  

Mais da mesma editora

Ver tudo de Pierre-Loic Garoche