Gorrieri, Roberto.
Formal Methods for Open Object-Based Distributed Systems 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings / [electronic resource] :
edited by Roberto Gorrieri, Heike Wehrheim.
- 1a ed.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006.
- v.: digital
- Lecture Notes in Computer Science, 4037 0302-9743 ; .
9783540348955
Procesamiento electrónico de datos --Congresos
Programación orientada a objetos (Computadores)--Congresos
QA76.9.D5 / G67 2006