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 | Wiley & Sons, Limited, John |
| Fecha de publicación | 2012 |
| Idioma | inglés |
| ISBN-13 | 9781118459898 |
| Número de Cutter | G571f |