Formal Methods and Software Engineering
11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings
Edición de la obra Formal Methods and Software Engineering
| Autor | Karin Breitman, Ana Cavalcanti |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2009 |
| Idioma | inglés |
| ISBN-13 | 9783642103735 |
| Número de Cutter | B835f |