Mathematical Theory of Computation (McGraw-Hill Computer Science Series)

Name: Mathematical Theory of Computation (McGraw-Hill Computer Science Series)
Brand: My Store
SKU: ByrdShop_0070399107
Price: 246.48 USD
Availability: InStock

$246.48 USD

Sale Sold out

Shipping calculated at checkout.

Quantity

Secure Checkout

Quality Guaranteed

In Stock

Weight

About this book

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.