Recomienda este artículo a tus amigos:
Integrated Formal Methods: Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings. - Lecture Notes in Computer Science Xingzhi M E Zhan 2002 edition
Integrated Formal Methods: Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings. - Lecture Notes in Computer Science
Xingzhi M E Zhan
The third in a series of international conferences on Integrated Formal Methods, IFM 2002, was held in Turku, Finland, May 15-17, 2002. The themes of IFM 2002 re?ect what we believe is a growing trend in the Formal Methods and Software Engineering research communities.
401 pages, biography
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 2 de mayo de 2002 |
| ISBN13 | 9783540437031 |
| Editores | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 401 |
| Dimensiones | 155 × 235 × 21 mm · 957 g |
| Lengua | Alemán |
| Editor | Butler, Michael |
| Editor | Petre, Luigia |
| Editor | Sere, Kaisa |