LEADER 00990nam2-2200325li-450 
001 990000113540203316
005 20180312154705.0
010   $a0-262-22040-7
035   $a0011354
035   $aUSA010011354
035   $a(ALEPH)000011354USA01
035   $a0011354
100   $a20001109d1990----km-y0itay0103----ba
101 0 $aeng
102   $aUS
200 1 $aFormal models and semantics$vVol. B
215   $aXIV, 1273 p.
461  0$10010011355$12001$aHandbook of theoretical computer science$fedited by Jan van Leeuwen
801   $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA
912   $a990000113540203316
951   $a004 HAN (B)$b0013724$c004$d00106210
959   $aBK
969   $aSCI
979   $c19920319
979   $c20001110$lUSA01$h1711
979   $aALANDI$b90$c20010313$lUSA01$h1233
979   $c20020403$lUSA01$h1619
979   $aPATRY$b90$c20040406$lUSA01$h1609
996   $aFormal models and semantics$91491058
997   $aUNISA