00919nam0-22003131i-450-99000144649040332120090911104124.00-387-94907-0000144649FED01000144649(Aleph)000144649FED0100014464920001205d1997----km-y0itay50------baengAutomata and computabilityDexter C. KozenNew YorkSpringer-Verlagc1997xiii, 400 p.24 cmUndergraduate texts in computer scienceedited by David Gries, Fred B. SchneiderTeoria degli automiLogica matematica511.3Kozen,Dexter<1951- >65955ITUNINARICAUNIMARCBK990001446490403321511.3-KOZ-1550SC1SC1Automata and computability374080UNINA