Formal Methods for Open Object-Based Distributed Systems 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings / [electronic resource] :
edited by Gilles Barthe, Frank S. Boer.
- 1a ed.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
- v.: digital
- Lecture Notes in Computer Science, 5051 0302-9743 ; .
9783540688631
Procesamiento electrónico de datos --Congresos programación orientada a objetos (Computadores)