adicionar à lista de desejos
Verifying Cyber-Physical Systems
A Path To Safe Autonomy
language: english
Publisher:
MIT PRESS LTD, February of 2021 ‧
see product details
SYNOPSIS
"A unified mathematical framework for rigorously modeling and analyzing cyber-physical systems"--
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9780262044806 |
| Publisher: | MIT PRESS LTD |
| Release Date: | February of 2021 |
| Language: | English |
| Dimensions: | 178 x 229 x 20 mm |
| Cover: | Hardcover |
| Pages: | 304 |
| Format: | Book |
| Collection: | Cyber Physical Systems Series |
| Categories: |
Books in English
>
Computing
>
Other Applications
Books in English > Others |
| EAN: | 9780262044806 |
BOOKS FROM THE SAME COLLECTION
-
Model CheckingeBook10%THE MIT PRESS198,75€ 10% CARD
-
Information-Driven Planning And Control30%MIT PRESS LTD68,14€
97,34€free shipping