Kozen, Dexter C., Automata and computability / Dexter C. Kozen - 400 páginas : ilustraciones ISBN: 0387949070 (encuadernado en tela: papel alcalino) Subjects--Topical Terms: Teoría de las máquinasFunciones computables LC Class. No.: QA267 / K69