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 | 2019 |
| Idioma | inglés |
| Páginas | 232 |
| ISBN-13 | 9780691189581 |
| Número de Cutter | G237f |