Integrated Formal Methods
9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Edición de la obra Integrated Formal Methods
| Autor | John Derrick |
|---|---|
| Editorial | Springer Berlin Heidelberg |
| Fecha de publicación | 2012 |
| Lugar | Berlin, Heidelberg |
| Idioma | inglés |
| Formato | [electronic resource] : |
| ISBN-13 | 9783642307294 |
| Serie | Lecture Notes in Computer Science -- 7321 |
| Número de Cutter | D438i |