LEADER 01508nam2-2200409li-450 001 990000207430203316 005 20180312154759.0 010 $a3-540-61629-2 035 $a0020743 035 $aUSA010020743 035 $a(ALEPH)000020743USA01 035 $a0020743 100 $a20001109d1996----km-y0itay0103----ba 101 0 $aeng 102 $aGW 200 1 $aRecent trends in data type specification$e11th Workshop on specification of abstract data types$eOslo, Norway,September 19-23, 1995$eselected papers$fMagne Haveraaen ... [et al.] (eds.) 210 $aBerlin [etc.]$cSpringer-Verlag$dcopyr. 1996 215 $aVIII, 550 p.$cill.$d25 cm 225 2 $aLecture notes in computer science$v1130 410 0$10010020264$12001$aLecture notes in computer science 610 1 $acongressi$aoslo$a1995 610 1 $astruttura dei dati$acongressi$a1995 676 $a00573$9Struttura dei dati 702 1$aHaveraaen,$bMagne 710 12$aWorkshop on specification of abstract data types$d11.$eOslo$f1995$0753223 801 $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA 912 $a990000207430203316 951 $a001 LNCS (1130)$b0019779$c001$d00103904 959 $aBK 969 $aSCI 979 $c19970309 979 $c20001110$lUSA01$h1714 979 $aALANDI$b90$c20010201$lUSA01$h1335 979 $c20020403$lUSA01$h1628 979 $aPATRY$b90$c20040406$lUSA01$h1615 996 $aRecent trends in data type specification$91515157 997 $aUNISA