Formal Methods and Software Engineering
5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings
Edición de la obra Formal Methods and Software Engineering
| Autor | Jin-Song Dong, Jim Woodcock |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2003 |
| Idioma | inglés |
| Páginas | 682 |
| ISBN-13 | 9783540398936 |
| Número de Cutter | D682f |