ISBN 3540732098 books & textbook

Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings (Lecture Notes in Computer Science, 4591)

Davies, Jim Gibbons, Jeremy

Springer /2007-06-22 Paperback / 671 Pages
isbn-10: 3540732098 / isbn-13: 9783540732099