LEADER 01693nam2-2200433li-450 
001 990000211490203316
005 20180312154856.0
010   $a3-540-59132-X
035   $a0021149
035   $aUSA010021149
035   $a(ALEPH)000021149USA01
035   $a0021149
100   $a20001109d1995----km-y0itay0103----ba
101 0 $aeng
102   $aGW
200 1 $aRecent trends in data type specification$e10th workshop on specification of abstract data types, S. Margherita,Italy, May 30- June 3, 1994$fEgidio Astesiano (ed.)
210   $aBerlin [etc.]$cSpringer-Verlag$dcopyr. 1995
215   $aVIII, 523 p.$cill.$d25 cm.
225 2 $aLecture notes in computer science$v906
410  0$10010020264$12001$aLecture notes in computer science
610 1 $acongressi$as. margherita$a1994
610 1 $aelaboratori elettronici$aprogrammazione$acongressi$a1994
610 1 $aelaborazione elettronica$amodelli matematici$acongressi$a1994
610 1 $alinguaggi di programmazione$acongressi$a1994
676   $a0051$9Programmazione. Tecnica di sviluppo dei programmi
702  1$aAstesiano,$bEgidio
710 12$aWorkshop on specification of abstract data types$d10.$eS. Margherita$f1994$0754905
801   $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA
912   $a990000211490203316
951   $a001 LNCS (906)$b0017665$c001$d00103725
959   $aBK
969   $aSCI
979   $c19960112
979   $c20001110$lUSA01$h1714
979   $aALANDI$b90$c20010131$lUSA01$h1139
979   $c20020403$lUSA01$h1629
979   $aPATRY$b90$c20040406$lUSA01$h1615
996   $aRecent trends in data type specification$91519296
997   $aUNISA