Formal Methods and Software Engineering
4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings
Edición de la obra Formal methods and software engineering
| Autor | Chris George, Huaikou Miao |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2003 |
| Idioma | inglés |
| ISBN-13 | 9783540361039 |
| Número de Cutter | G347f |