ISBN 3540688625 books & textbook
Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings (Lecture Notes in Computer Science, 5051)
Springer /2008-05-29 Paperback / 269 Pages
isbn-10: 3540688625 / isbn-13: 9783540688624
