Esta obra apresenta a teoria da computação por meio de teoremas e provas, sempre com a preocupação do autor em mostrar a intuição por trás de cada resultado e em amenizar a leitura destas últimas, apresentando, para cada teorema, uma idéia da prova. Com e
Autor: Sipser, Michael
Editora: Cengage Learning
ISBN: 9788522104994
Ano: 2005
Edição: 1
Páginas: 488
Encadernação: Brochura
Formato: 15.8 x 22.8 x 2.3 cm