FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings - Programming and Software Engineering - Michael Butler - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783642214363 - June 16, 2011
In case cover and title do not match, the title is correct

FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings - Programming and Software Engineering

Michael Butler

Login to be notified when the product is available again
Christmas presents can be returned until 31 January

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings - Programming and Software Engineering

This book constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, held in Limerick, Ireland, in June 2011.

464 pages, 83 black & white illustrations, 27 colour illustrations, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released June 16, 2011
ISBN13 9783642214363
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 450
Dimensions 155 × 235 × 25 mm   ·   703 g
Language French  
Editor Butler, Michael
Editor Schulte, Wolfram
Show all

More by Michael Butler

See all of Michael Butler ( e.g. Paperback Book , CD and Hardcover Book )