Software Engineering and Formal Methods
12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings
Edición de la obra Software Engineering and Formal Methods
| Autor | Dimitra Giannakopoulou, Gwen Salaün |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Aug 04, 2014 |
| Páginas | 416 |
| Formato | paperback |
| ISBN-13 | 9783319104300 |
| ISBN-10 | 3319104306 |
| Número de Cutter | G433s |