Manna, Zohar, Mathematical theory of computation - 448 páginas Subjects--Topical Terms: Programación de computadoras LC Class. No.: QA76.6 / M347