ELEMENTOS DE TEORIA DA COMPUTACAO - LEWIS, HARRY R.; PAPADIMITRIOU, CHRISTOS H.; FURMANKIEWICZ, EDSON (PORTO ALEGRE BOOKMAN, 2000)
PORTUGUES
BIBLIOGRAFIA. INCLUI INDICE.
Keywords: TEORIA DOS AUTOMATOS; LOGICA SIMBOLICA E MATEMATICA; COMPLEXIDADE COMPUTACIONAL; LINGUAGENS FORMAIS; LIVRO