
Tell your friends about this item:
Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings - Programming and Software Engineering 2010 edition
Dominique Mery
Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings - Programming and Software Engineering 2010 edition
Dominique Mery
Constitutes the refereed proceedings of the 8th International Conference on Integrated Formal Methods, IFM 2010, held in Nancy, France, in October 2010.
337 pages, 110 black & white illustrations, biography
Media | Books Paperback Book (Book with soft cover and glued back) |
Released | October 6, 2010 |
ISBN13 | 9783642162640 |
Publishers | Springer-Verlag Berlin and Heidelberg Gm |
Pages | 337 |
Dimensions | 156 × 234 × 18 mm · 485 g |
Language | French |
Editor | Mery, Dominique |
Editor | Merz, Stephan |
See all of Dominique Mery ( e.g. Paperback Book )