Nestmann, Uwe books & textbook
Formal Methods for Open Object-Based Distributed Systems: 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, ... (Lecture Notes in Computer Science, 2884)
Najm, Elie Nestmann, Uwe Stevens, Perdita
Springer /2003-11-10 Paperback / 348 Pages
isbn-10: 3540204911 / isbn-13: 9783540204916
