Formal Methods and Software Engineering
13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings
Edición de la obra Formal Methods and Software Engineering
| Autor | Shengchao Qin |
|---|---|
| Editorial | Springer-Verlag GmbH Berlin Heidelberg |
| Fecha de publicación | 2011 |
| Lugar | Berlin, Heidelberg |
| Idioma | inglés |
| Formato | [electronic resource] : |
| ISBN-13 | 9783642245589, 9783642245596 |
| LCCN | 2011937705 |
| Serie | Lecture Notes in Computer Science -- 6991 |
| Número de Cutter | F723 |