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 15, 2014 |
| Páginas | 418 |
| Formato | paperback |
| ISBN-13 | 9783319104324 |
| ISBN-10 | 3319104322 |
| Número de Cutter | G433s |