LEADER 02115nam--2200553---450-
001 990001154550203316
005 20030623163420.0
010   $a3-540-44121-2
035   $a000115455
035   $aUSA01000115455
035   $a(ALEPH)000115455USA01
035   $a000115455
100   $a20021217d2002----km-y0itay0103----ba
101   $aENG
105   $a||||||||001yy
200 1 $aModular specification and verification of Object-oriented programs$fPeter Muller
210   $aBerlin$cSpringer-Verlag$dcopyr.2002
215   $aXIV,292 p.$cill.$d20 cm
225 2 $aLecture notes in computer science$v2262
606   $aProgrammazione oggetto-orientata
676   $a005.1
700   $aMuller$bPeter$0555240
801  0$aIT$bCBS$gISBD
912   $a990001154550203316
951   $a001 LNCS (2262)$b0026768 CBS$c001$d00112133
959   $aBK
969   $aSCI
979   $aDIGIUSEPPE$b90$c20021217$lUSA01$h1200
979   $aDIGIUSEPPE$b90$c20030310$lUSA01$h1222
979   $aDIGIUSEPPE$b90$c20030530$lUSA01$h1247
979   $aDIGIUSEPPE$b90$c20030603$lUSA01$h1655
979   $aDIGIUSEPPE$b90$c20030603$lUSA01$h1657
979   $aDIGIUSEPPE$b90$c20030610$lUSA01$h1536
979   $aDIGIUSEPPE$b90$c20030610$lUSA01$h1541
979   $aDIGIUSEPPE$b90$c20030610$lUSA01$h1543
979   $aDIGIUSEPPE$b90$c20030612$lUSA01$h1022
979   $aDIGIUSEPPE$b90$c20030612$lUSA01$h1029
979   $aDIGIUSEPPE$b90$c20030612$lUSA01$h1042
979   $aDIGIUSEPPE$b90$c20030612$lUSA01$h1043
979   $aDIGIUSEPPE$b90$c20030612$lUSA01$h1118
979   $aDIGIUSEPPE$b90$c20030612$lUSA01$h1123
979   $aDIGIUSEPPE$b90$c20030612$lUSA01$h1128
979   $aDIGIUSEPPE$b90$c20030612$lUSA01$h1132
979   $aDIGIUSEPPE$b90$c20030612$lUSA01$h1138
979   $aDIGIUSEPPE$b90$c20030623$lUSA01$h1634
979   $aPATRY$b90$c20040406$lUSA01$h1721
996   $aModular specification and verification of Object-oriented programs$9983397
997   $aUNISA
Z30  2$lUSA50$LAdministrative$mISSUE$1SCI$ASCI$3001 LNCS (2262)$60026768 CBS$500112133$820030612$f01$FPrest. 30 gg