FM 2011: Formal Methods
17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings
Edición de la obra FM 2011: Formal Methods
| Autor | Michael Butler |
|---|---|
| Editorial | Springer Berlin Heidelberg |
| Fecha de publicación | 2011 |
| Lugar | Berlin, Heidelberg |
| Idioma | inglés |
| Formato | [electronic resource] : |
| ISBN-13 | 9783642214363, 9783642214370 |
| Serie | Lecture Notes in Computer Science -- 6664 |
| Número de Cutter | B986f |