000 01464nmm a22003975u 4500
999 _c22352
_d22352
005 20201214181818.0
008 100301s2006 gw j eng d
020 _a9783540348955
050 0 4 _aQA76.9.D5
_bG67 2006
100 1 _aGorrieri, Roberto.
245 1 0 _aFormal Methods for Open Object-Based Distributed Systems
_h[electronic resource] :
_b8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings /
_cedited by Roberto Gorrieri, Heike Wehrheim.
250 _a1a ed.
260 _aBerlin, Heidelberg :
_bSpringer-Verlag Berlin Heidelberg,
_c2006.
300 _bv.: digital
490 0 _aLecture Notes in Computer Science,
_v4037
_x0302-9743 ;
650 0 _aProcesamiento electrónico de datos
_vCongresos
650 0 _aProgramación orientada a objetos (Computadores)
_vCongresos
700 1 _aWehrheim, Heike.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
856 4 0 _uhttp://dx.doi.org/10.1007/11768869
942 _2lcc
_cLIE