Software Engineering and Formal Methods
10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings
Edición de la obra Software Engineering and Formal Methods
| Autor | George Eleftherakis, Mike Hinchey, Mike Holcombe |
|---|---|
| Editorial | Springer Berlin / Heidelberg |
| Fecha de publicación | 2012 |
| Idioma | inglés |
| ISBN-13 | 9783642338250 |
| Número de Cutter | E38s |