LEADER 01403nam--2200397---450-
001 990002994500203316
005 20071019135606.0
010   $a3-540-26181-8
035   $a000299450
035   $aUSA01000299450
035   $a(ALEPH)000299450USA01
035   $a000299450
100   $a20071019d2005----km-y0itay0103----ba
101 0 $aeng
102   $aDE
105   $aa|||||||001yy
200 1 $aFormal methods for open object-based distributed systems$e7th IFIP WG 6.1 international conference, FMOODS 2005$eAthens, Greece, June 2005$eProceedings$fMartin Steffen, Gianluigi Zavattaro(Eds.)
210   $aBerlin [etc.]$cSpringer$d[c2005]
215   $aX, 321 p.$cill.$d24 cm.
225 2 $aLecture notes in computer science$v3535
410  0$12001$aLecture notes in computer science$v3535
454  1$12001
461  1$1001-------$12001
606 0 $aProgrammazione orientata oggetti$xCongressi$yAthens$z2005
676   $a005.131
702  1$aSTEFFEN,$bMartin
702  1$aZAVATTARO,$bGianluigi
710 12$aInternational conference, FMOODS 2005$d<7. ;$f2005 ;$eAtene>$0598833
801  0$aIT$bsalbc$gISBD
912   $a990002994500203316
951   $a001 LNCS 3535$b32072/CBS$c001$d00112597
959   $aBK
969   $aSCI
979   $aSENATORE$b90$c20071019$lUSA01$h1356
996   $aFormal methods for open object-based distributed systems$91029032
997   $aUNISA