Wow! eBook
Mathematical Theory of Computation
Author(s): Zohar Manna (Author)
- Publisher: Dover Publications Inc.
- Publication Date: 1 Nov. 2003
- Edition: Illustrated
- Language: English
- Print length: 464 pages
- ISBN-10: 0486432386
- ISBN-13: 9780486432380
Book Description
With the objective of making into a science the art of verifying computer programs (debugging), the author addresses both practical and theoretical aspects. Subjects include computability (with discussions of finite automata and Turing machines); predicate calculus; verification of programs (bloth flowchart and algol-like programs); flowchart schemas; and the fixpoint theory of programs. 1974 edition. Includes 77 figures.
