Integrated Formal Methods: 7th International Conference, IFM 2009, Dusseldorf, Germany, February 16-19, 2009, Proceedings - Lecture Notes in Computer Science - Michael Leuschel - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783642002540 - February 2, 2009
In case cover and title do not match, the title is correct

Michael Leuschel
Integrated Formal Methods: 7th International Conference, IFM 2009, Dusseldorf, Germany, February 16-19, 2009, Proceedings - Lecture Notes in Computer Science 2009 edition

Price
Íkr 6,919
excl. VAT

Ordered from remote warehouse

Expected delivery Jul 16 - 24

Our customers say:

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

Not rated yet

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

Media Books     Paperback Book   (Book with soft cover and glued back)
Released February 2, 2009
ISBN13 9783642002540
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 367
Dimensions 155 × 235 × 23 mm   ·   557 g
Language French  
Editor Leuschel, Michael
Editor Wehrheim, Heike

Mere med samme udgiver

See all of Michael Leuschel ( e.g. Paperback Book )