Post date: 30 Sep 2006
Covers the basics of the theory of computation and provides some of the tools used in program verification, translation and compiling, and the analysis of algorithms.
Publication date: 31 Dec 1996 Document Type: Textbook
Post date: 30 Sep 2006
Covers the basics of the theory of computation and provides some of the tools used in program verification, translation and compiling, and the analysis of algorithms.
Publication date: 31 Dec 1996 Document Type: Textbook