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.

Product Description

Mathematical Theory of Computation Attempting to make into a science the art of verifying computer programs (debugging), the author addresses both practical and theoretical aspects. This self-contained treatment includes selected concepts of computability theory and mathematical logic.

"About this title" may belong to another edition of this title.

Store Description

We have 20 years experience selling books worldwide! Friendly customer support. Your satisfaction guaranteed!

Visit Seller's Storefront

Seller's business information

Miramar International Services LLC

Sale & Shipping Terms

Terms of Sale

www.californiabooks.com

Right of cancellation

Shipping Terms

www.californiabooks.com

Shipping rates from U.S.A. to United Kingdom

Shipping rates from U.S.A. to United Kingdom
Order quantity	12 to 18 business days	5 to 8 business days
First item	� 7.43	� 37.14

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.