Formal methods for open object-based distributed systems : 8th IFIP WG 6.1 international conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006 : proceedings /

Bibliographic Details
Corporate Author:	International Conference on Formal Methods for Open Object-Based Distributed Systems Bologna, Italy
Other Authors:	Gorrieri, Roberto, Wehrheim, Heike
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer, 2006.
Series:	Lecture notes in computer science ; 4037.
Subjects:	Electronic data processing > Distributed processing > Congresses. Object-oriented programming (Computer science) > Congresses.

Remote Storage