Formal Methods and Software Engineering
17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, ...
Edición de la obra Formal Methods and Software Engineering
| Autor | Michael Butler, Sylvain Conchon, Fatiha Zaïdi |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Dec 02, 2015 |
| Páginas | 461 |
| Formato | paperback |
| ISBN-13 | 9783319254227 |
| ISBN-10 | 3319254227 |
| Número de Cutter | B986f |