Formal Methods and Software Engineering
8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings
Edición de la obra Formal methods and software engineering
| Autor | Zhiming Liu, Jifeng He |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2006 |
| Idioma | inglés |
| ISBN-13 | 9783540474623 |
| Número de Cutter | L783f |