ISBN 9783540348931 books & textbook
Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings (Lecture Notes in Computer Science, 4037)
Gorrieri, Roberto Wehrheim, Heike
Springer /2006-01-01 Paperback / 288 Pages
isbn-10: 354034893X / isbn-13: 9783540348931
