ISBN 9783540729198 books & textbook
Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings (Lecture Notes in Computer Science, 4468)
Bonsangue, Marcello M. Johnsen, Einar Broch
Springer /2007-05-25 Paperback / 327 Pages
isbn-10: 3540729194 / isbn-13: 9783540729198
