Formal Methods for Industrial Critical Systems
A Survey of Applications
Edición de la obra Formal Methods for Industrial Critical Systems
| Autor | Stefania Gnesi, Tiziana Margaria |
|---|---|
| Editorial | IEEE Computer Society Press |
| Fecha de publicación | 2012 |
| Idioma | inglés |
| Páginas | 292 |
| ISBN-13 | 9781118459867 |
| Número de Cutter | G571f |