Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings - Programming and Software Engineering - Dominique Mery - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783642162640 - October 6, 2010
In case cover and title do not match, the title is correct

Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings - Programming and Software Engineering 2010 edition

Dominique Mery

Price
$ 56.49
excl. VAT

Ordered from remote warehouse

Expected delivery Oct 27 - Nov 6
Add to your iMusic wish list

Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings - Programming and Software Engineering 2010 edition

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