adicionar à lista de desejos
Verifying Cyber-Physical Systems
A Path To Safe Autonomy
idioma: inglês
Editor:
MIT PRESS LTD, fevereiro de 2021 ‧
ver detalhes do produto
SINOPSE
"A unified mathematical framework for rigorously modeling and analyzing cyber-physical systems"--
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9780262044806 |
| Editor: | MIT PRESS LTD |
| Data de Lançamento: | fevereiro de 2021 |
| Idioma: | Inglês |
| Dimensões: | 178 x 229 x 20 mm |
| Encadernação: | Capa dura |
| Páginas: | 304 |
| Tipo de produto: | Livro |
| Coleção: | Cyber Physical Systems Series |
| Classificação Temática: |
Livros em Inglês
>
Informática
>
Outras Aplicações
Livros em Inglês > Outros |
| EAN: | 9780262044806 |
LIVROS DA MESMA COLEÇÃO
-
Model CheckingeBook10%THE MIT PRESS198,75€ 10% CARTÃO
-
Information-Driven Planning And Control30%MIT PRESS LTD68,14€
97,34€portes grátis