Recomienda este artículo a tus amigos:
Formal Verification of Control System Software - Princeton Series in Applied Mathematics Pierre-Loic Garoche
Precio
$ 81,99
sin IVA
Pedido desde almacén remoto
Entrega prevista 17 de jun. - 6 de jul.
Nuestros clientes opinan:
Añadir a tu lista de deseos de iMusic
Formal Verification of Control System Software - Princeton Series in Applied Mathematics
Pierre-Loic Garoche
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
224 pages, 79 b/w illus.
| Medios de comunicación | Libros Hardcover Book (Libro con lomo y cubierta duros) |
| Publicado | 14 de mayo de 2019 |
| ISBN13 | 9780691181301 |
| Editores | Princeton University Press |
| Páginas | 232 |
| Dimensiones | 243 × 163 × 15 mm · 536 g |
| Lengua | Inglés |
