LEADER 01373nam--2200397---450-
001 990000338440203316
010   $a3-540-67959-6
035   $a0033844
035   $aUSA010033844
035   $a(ALEPH)000033844USA01
035   $a0033844
100   $a20010208d2000----km-y0itay0103----ba
101   $aeng
102   $aDE
105   $a||||||||001yy
200 1 $aAbstract state machines$etheory and applications$eInternational workshop, ASM 2000$eMonte Verità, Switzerland, March 19-20, 2000$eproceedings$fYuri Gurevich... <et al.> (eds.)
210   $aBerlino$cSpringer-Verlag$dc2000
215   $aX, 379 p.$cill.$d20 cm
225 2 $aLecture notes in computer science$v1912
410   $12001$aLecture notes in computer science$v1912
461  1$1001-------$12001
610 0 $aTeoria della macchina$xCongressi$z2000
610 0 $aCongressi$yMonte Verità$z2000
676   $a511.321
702  1$aGUREVICH,$bYuri
710 12$aInternational workshop ASM <2000; Monte Verità, Svizzera>$0542938
801  0$aIT$bsalbc$gISBD
912   $a990000338440203316
951   $a001 LNCS (1912)$bCBS 0025845$c001 LNCS$d00103493
959   $aBK
969   $aSCI
979   $aPATTY$b90$c20010208$lUSA01$h1346
979   $c20020403$lUSA01$h1641
979   $aPATRY$b90$c20040406$lUSA01$h1624
996   $aAbstract state machines$9877923
997   $aUNISA