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.
Unabridged republication of the edition published by McGraw-Hill, New York, 1974.
|Availability||Usually ships in 24 to 48 hours|
|Dimensions||5 3/8 x 8 1/2|