Home › Science & Math Books › Mathematical Theory of Computation (McGraw-Hill Computer Science Series)
  • No Image Available
1 1

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

hardcover – January 1, 1974
by Manna, Zohar
$246.48 USD
$246.48 USD
Sale Sold out
Shipping calculated at checkout.
Secure Checkout
Quality Guaranteed
New In Stock
ISBN-13: 9780070399105 ISBN-10: 0070399107
Publisher
McGraw-Hill College
Binding
hardcover
Published
January 1, 1974
Weight
1.7 lbs
Dimensions
24.80×3.20×16.50 cm

About this book

Mathematical Theory of Computation (McGraw-Hill Computer Science Series) by Manna, Zohar. hardcover edition. ISBN: 9780070399105.

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.