ISBN 9783642162640 books & textbook

Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings (Lecture Notes in Computer Science, 6396)

Méry, Dominique Merz, Stephan

Springer /2010-10-06 Paperback / 347 Pages
isbn-10: 3642162649 / isbn-13: 9783642162640