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