FM 2012 : Formal Methods
18th International Symposium, Paris, France, August 27-31, 2012. Proceedings
Edición de la obra FM 2012: Formal Methods
| Autor | Dimitra Giannakopoulou, Dominique Mery |
|---|---|
| Editorial | Springer Berlin / Heidelberg |
| Fecha de publicación | 2012 |
| Idioma | inglés |
| ISBN-13 | 9783642327582 |
| Número de Cutter | G433f |