Verifying Cyber-Physical Systems

A Path To Safe Autonomy

de Sayan Mitra 

Bertrand.pt - Verifying Cyber-Physical Systems
idioma: Inglês
Editor: MIT PRESS LTD
Edição: fevereiro de 2021
73,39€
Notifiquem-me quando disponível

"A unified mathematical framework for rigorously modeling and analyzing cyber-physical systems"--

Da mesma coleção

Model Checking
10%
10% Cartão Leitor Bertrand
198,75€
Poupe 19,88€
THE MIT PRESS
eBook
Information-Driven Planning And Control
20%
portes grátis
20% Cartão Leitor Bertrand
97,34€
Poupe 19,47€
MIT PRESS LTD
Verifying Cyber-Physical Systems
A Path To Safe Autonomy
de Sayan Mitra 
ISBN:
9780262044806
Ano de edição:
02-2021
Editor:
MIT PRESS LTD
Idioma:
Inglês
Dimensões:
178 x 229 x 20 mm
Encadernação:
Capa dura
Páginas:
304
Tipo de Produto:
Livro
EAN:
9780262044806
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.