LEADER 00919nam0-22003131i-450-
001 990001446490403321
005 20090911104124.0
010   $a0-387-94907-0
035   $a000144649
035   $aFED01000144649
035   $a(Aleph)000144649FED01
035   $a000144649
100   $a20001205d1997----km-y0itay50------ba
101 0 $aeng
200 1 $aAutomata and computability$fDexter C. Kozen
210   $aNew York$cSpringer-Verlag$dc1997
215   $axiii, 400 p.$d24 cm
225 1 $aUndergraduate texts in computer science
300   $aedited by David Gries, Fred B. Schneider
610 0 $aTeoria degli automi$aLogica matematica
676   $a511.3
700  1$aKozen,$bDexter$f<1951- >$065955
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001446490403321
952   $a511.3-KOZ-1$b550$fSC1
959   $aSC1
996   $aAutomata and computability$9374080
997   $aUNINA