Formal Methods and Software Engineering
4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings (Lecture Notes in Computer Science)
Edición de la obra Formal methods and software engineering
| Autor | Chris George, Huaikou Miao |
|---|---|
| Editorial | Springer |
| Fecha de publicación | December 5, 2002 |
| Idioma | inglés |
| Páginas | 626 |
| Formato | Paperback |
| ISBN-13 | 9783540000297 |
| ISBN-10 | 3540000291 |
| OCLC | 50693193, 187528638 |
| LCCN |