LEADER 01300nam2-2200373---450-
001 990003161580203316
005 20081017092243.0
010   $a978-3-540-87602-1
035   $a000316158
035   $aUSA01000316158
035   $a(ALEPH)000316158USA01
035   $a000316158
100   $a20081017d2008----km-y0itay0103----ba
101   $aeng
102   $aDE
105   $a||||||||001yy
200 1 $aAbstract state machines, B and Z$efirst international conference, ABZ 2008$eLondon, UK, September 16-18, 2008$eproceedings$fEgon Börger... [et al.] (Eds.)
210   $aBerlin$cSpringer-Verlag$dcopyr. 2008
215   $aXII, 382 p.$cill.$d24 cm
225 2 $aLecture notes in computer science$v5238
410   $12001$aLecture notes in computer science
461  1$1001000314960$12001$aLecture notes in computer science
610 0 $aTeoria della macchina$xCongressi$yLondon$z2008
676   $a511.321
702  1$aBÖRGER,$bEgon
710 12$aInternational conference, ABZ 2008$d<1.;$f2008;$eLondon>$0602507
801  0$aIT$bsalbc$gISBD
912   $a990003161580203316
951   $a001 LNCS 5238$b37507/cbs$c001$d00217752
959   $aBK
969   $aSCI
979   $aCBAS$b10$c20081017$lUSA01$h0922
996   $aAbstract state machines, B and Z$91017710
997   $aUNISA