Matemática

Formal Verification Of Control System Software

de Pierre-Loic Garoche 

Bertrand.pt - Formal Verification Of Control System Software
idioma: Inglês
Editor: Princeton University Press
Edição: maio de 2019
74,35€
Esgotado ou não disponível
RESERVAR NA LIVRARIA Livrarias

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

Coleções

Formal Verification Of Control System Software
de Pierre-Loic Garoche 
ISBN:
9780691181301
Ano de edição:
05-2019
Editor:
Princeton University Press
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  >  Livros em Inglês  >  Ciências Exatas e Naturais  >  Matemática

Livros  >  Livros em Inglês  >  Outros

EAN:
9780691181301
X
O QUE É O CHECKOUT EXPRESSO?

O ‘Checkout Expresso’ utiliza os seus dados habituais (morada e/ou forma de envio, meio de pagamento e dados de faturação) para que a sua compra seja muito mais rápida. Assim, não tem de os indicar de cada vez que fizer uma compra. Em qualquer altura, pode atualizar estes dados na sua ‘Área de Cliente’.

Para que lhe sobre mais tempo para as suas leituras.