Formal Methods and Software Engineering
8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings (Lecture Notes in Computer Science)
Edición de la obra Formal methods and software engineering
| Autor | Zhiming Liu, Jifeng He |
|---|---|
| Editorial | Springer |
| Fecha de publicación | December 20, 2006 |
| Idioma | inglés |
| Páginas | 778 |
| Formato | Paperback |
| ISBN-13 | 9783540474609 |
| ISBN-10 | 3540474609 |
| OCLC | 75253433 |
| LCCN |