Formal Methods and Software Engineering
12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings
Edición de la obra Formal Methods and Software Engineering
| Autor | Jin-Song Dong, Huibiao Zhu |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2010 |
| Idioma | inglés |
| Páginas | 712 |
| ISBN-13 | 9783642169014 |
| Número de Cutter | D682f |