LEADER 01481nam--2200409---450-
001 990001852980203316
005 20040715095900.0
010   $a3-540-20491-1
035   $a000185298
035   $aUSA01000185298
035   $a(ALEPH)000185298USA01
035   $a000185298
100   $a20040715d2003----km-y0itay0103----ba
101 0 $aeng
102   $aDE
105   $aa|||||||001yy
200 1 $aFormal methods for open object-based distributed systems$e6th IFIP WG 6.1 international conference, FMOODS 2003$eParis, France, November 19-21, 2003$eproceedings$fie Najm, Uwe Nestmann, Perdita Stevens (Eds.)
210   $aBerlin [etc.]$cSpringer$dcopyr. 2003
215   $aX, 292 p.$cill.$d24 cm.
225 2 $aLecture notes in computer science$v2884
410  0$12001$aLecture notes in computer science$v2884
454  1$12001
461  1$1001-------$12001
606 0 $aProgrammazione orientata oggetti$xCongressi
676   $a005.131
702  1$aNAJM,$bElie
702  1$aNESTMANN,$bUwe
702  1$aSTEVENS,$bPerdita
710 12$aInternational conference on formal methods for open object-based distributed systems< 6. ; 2003 ; Paris, France>$0564367
801  0$aIT$bsalbc$gISBD
912   $a990001852980203316
951   $a001 LNCS 2884$b0030489/CBS$c001$d00114288
959   $aBK
969   $aSCI
979   $aRIVELLI$b90$c20040715$lUSA01$h0959
996   $aFormal methods for open object-based distributed systems$9955995
997   $aUNISA