Formal Methods for Industrial Critical Systems
12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers
Edición de la obra Formal Methods for Industrial Critical Systems
| Autor | Stefan Leue, Pedro Merino |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2008 |
| Idioma | inglés |
| ISBN-13 | 9783540797074 |
| Número de Cutter | L652f |