LEADER 01219cam2-2200337li-450 
001 990005796500203316
005 20170505101253.0
010   $a3540675302
035   $a000579650
035   $aUSA01000579650
035   $a(ALEPH)000579650USA01
035   $a000579650
100   $a20020130d2000----km-y0itay0103----ba
101 0 $aeng
102   $aDE
200 1 $aAlgebraic methodology and software technology$e8th International conference, AMAST 2000$eIowa City, Iowa, USA, may 20-27, 2000$eproceedings$fTeodor Rus (Ed.)
210   $aBerlin [etc.]$cSpringer$dcopyr. 2000
215   $aXI, 544 p.$cill.$d24 cm
225 2 $aLecture notes in computer science$v1816
410  0$1001000314960$12001$aLecture notes in computer science
606 1 $aElaboratori elettronici$xProgrammazione$xCongressi$yIowa City$z2000$2BNCF
676   $a005.1
702  1$aRUS,$bTeodor
710 12$aInternational conference, AMAST 2000$d<8.;$f2000;$eIowa City>$0743244
912   $a990005796500203316
951   $a001 LNCS 1816$b24922/CBS$c001$d00100039
959   $aBK
969   $aSCI
979   $aANGELA$b90$c20130116$lUSA01$h1208
996   $aAlgebraic methodology and software technology$91478262
997   $aUNISA

LEADER 00702nam  2200265   450 
001 996691277103316
005 20251211171642.0
100   $a20251210d1982----km y0itay5003    ba
101 0 $aita
102   $aIT
105   $ay       00  y
200 1 $aDumping$fLuigi Carlo Ubertazzi
210   $aTorino$cUTET$d1982
215   $a31 p.$d26 cm
300   $aEstratto da: Appendice del Novissimo Digesto italiano
606 0 $aDumping$2BNCF
676   $a343.087
700  1$aUBERTAZZI,$bLuigi Carlo$0115093
801  0$aIT$bcba$gREICAT
912   $a996691277103316
951   $aXVI.7.Misc. 962$b973 FBUO$cXVI.7.Misc.
959   $aBK
969   $aFBUO
996   $aDumping$94465614
997   $aUNISA