Introdução à teoria da computação /
Michael Sipser ; tradução técnica Ruy José Guerra Barretto de Queiroz. -
- São Paulo : Thomson Learning, 2007.
- 459 p. : il.
Título original: Introduction to the theory of computation. Tradução da 2. edição norte-americana. Esta obra apersenta a teoria da computação por meio de teoremas e provas.