Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings /
Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings / [electronic resource] :
edited by Martin Steffen, Gianluigi Zavattaro.
- Berlin Heidelberg : Springer Science+Business Media, Inc., 2005.
- x, 321 p. : ill., digital ; 24 cm.
- Lecture Notes in Computer Science, 3535 0302-9743 ; .
9783540315568 (electronic bk.) 9783540261810 (paper)
Electronic data processing--Distributed processing--Congresses.
Object-oriented programming (Computer science)--Congresses.
QA76.9.D5 / I573 2005
004.36
9783540315568 (electronic bk.) 9783540261810 (paper)
Electronic data processing--Distributed processing--Congresses.
Object-oriented programming (Computer science)--Congresses.
QA76.9.D5 / I573 2005
004.36
