Formal Verification of Control System Software
Edición de la obra Formal Verification of Control System Software
| Autor | Pierre-Loïc Garoche |
|---|---|
| Editorial | Princeton University Press |
| Fecha de publicación | May 14, 2019 |
| Páginas | 232 |
| Formato | hardcover |
| ISBN-13 | 9780691181301 |
| ISBN-10 | 0691181306 |
| OCLC | 1059270929 |
| Número de Cutter | G237f |