Mathematical Theory of Computation

Mathematical Theory of Computation
sku: COM9780070399105USED
ACCORDING TO OUR RECORDS THIS PRODUCT IS NOT AVAILABLE NOW
$15.49
Shipping from: Canada
   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.
   Price history chart & currency exchange rate

Customers also viewed