Capa do artigo Formal Verification Of Control System Software

Formal Verification Of Control System Software

de Pierre-Loic Garoche
idioma: inglês
Editor: Princeton University Press, maio de 2019 ‧
ESGOTADO OU NÃO DISPONÍVEL
Venda o seu livro
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

Formal Verification Of Control System Software

de Pierre-Loic Garoche

Propriedade Descrição
ISBN: 9780691181301
Editor: Princeton University Press
Data de Lançamento: maio de 2019
Idioma: Inglês
Encadernação: Capa dura
Páginas: 232
Tipo de produto: Livro
Coleção: Princeton Series In Applied Mathematics
Classificação Temática: Livros em Inglês > Ciências Exatas e Naturais > Matemática
Livros em Inglês > Outros
EAN: 9780691181301

LIVROS DA MESMA COLEÇÃO

VER MAIS TÍTULOS DESTA COLEÇÃO

PIERRE-LOIC GAROCHE

VER MAIS TÍTULOS DESTE AUTOR