Formal Methods and Software Engineering
7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings (Lecture Notes in Computer Science)
Edición de la obra Formal Methods and Software Engineering (vol. # 3785)
| Autor | Kung-Kiu Lau |
|---|---|
| Editorial | Springer |
| Fecha de publicación | December 14, 2005 |
| Idioma | inglés |
| Páginas | 496 |
| Formato | Paperback |
| ISBN-13 | 9783540297970 |
| ISBN-10 | 3540297979 |
| OCLC | 62229950 |
| LCCN | 2005934587 |