Recomienda este artículo a tus amigos:
Integrated Formal Methods: 7th International Conference, IFM 2009, Dusseldorf, Germany, February 16-19, 2009, Proceedings - Lecture Notes in Computer Science Michael Leuschel 2009 edition
Integrated Formal Methods: 7th International Conference, IFM 2009, Dusseldorf, Germany, February 16-19, 2009, Proceedings - Lecture Notes in Computer Science
Michael Leuschel
This book constitutes the refereed proceedings of the 7th International Conference on Integrated Formal Methods, IFM 2009, held in Dusseldorf, Germany in February 2009.
377 pages, Illustrations
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 2 de febrero de 2009 |
| ISBN13 | 9783642002540 |
| Editores | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 367 |
| Dimensiones | 155 × 235 × 23 mm · 557 g |
| Lengua | Francés |
| Editor | Leuschel, Michael |
| Editor | Wehrheim, Heike |