LEADER 01267nam--2200349li-450 
001 990003073390203316
005 20180312154824.0
010   $a3-540-35633-9
035   $a000307339
035   $aUSA01000307339
035   $a(ALEPH)000307339USA01
035   $a000307339
100   $a2002008032006-------y0itay0103----ba
101 0 $aeng
102   $aDE
200 1 $aAlgebraic methodology and software technology$e11th International conference, AMAST 2006$eKuresaare, Estonia, July 5-8, 2006$eproceedings$fMichael Johnson, Varmo Vene (eds.)
210   $aBerlin$cSpringer$dcopyr. 2006
215   $aXI, 387 p.$cill.$d24 cm
225 2 $aLecture notes in computer science$v4019
410  0$10010020264$12001$aLecture notes in computer science$v4019
606 1 $aElaboratori elettronici$xProgrammazione$xCongressi$yKuressaare$a2006
676   $a005.1
702  1$aJOHNSON,$bMichael
702  1$aVENE,$bVarmo
710 12$aInternational conference, AMAST 2006$d<11. ;$f2006 ;$eKuressaare$0753837
912   $a990003073390203316
951   $a001 LNCS 4019$b33952/CBS$c001$d00217148
959   $aBK
969   $aSCI
979   $aANGELA$b90$c20080303$lUSA01$h1317
996   $aAlgebraic methodology and software technology$91516556
997   $aUNISA