Tallenna
A Recursive Introduction to the Theory of Computation
The aim of this textbook is to present an account of the theory of computation. After introducing the concept of a model of computation and presenting various examples, the author explores the limitations of effective computation via basic recursion theory.
- Kirjailija
- Carl Smith
- Painos
- Softcover reprint of the original 1st ed. 1994
- ISBN
- 9781461264200
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 22.11.2012
- Kustantaja
- Springer-Verlag New York Inc.
- Sivumäärä
- 148
