Formal Methods and Software Engineering
9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings
Edición de la obra Formal Methods and Software Engineering
| Autor | Michael Butler, Michael G. Hinchey, Maria M. Larrondo-Petrie |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2007 |
| Idioma | inglés |
| ISBN-13 | 9783540766506 |
| Número de Cutter | B986f |