456 pages
English language
Published Feb. 15, 2006
456 pages
English language
Published Feb. 15, 2006
This market leading text on computational theory provides a mathematical treatment of computer science theory designed around theorems and proofs.