Search -
Mathematical Theory of Computation (Mcgraw-Hill Computer Science Series)
Mathematical Theory of Computation - Mcgraw-Hill Computer Science Series Author:Zohar Manna 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 sc... more »hemas; and the fixpoint theory of programs. 1974 edition. Includes 77 figures.« less