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

Manna, Zohar

ISBN 10: 0070399107 / ISBN 13: 9780070399105

Published by McGraw-Hill College, 1974

About this Item

Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_404336532

Bibliographic Details

Title: Mathematical Theory of Computation (...

Publisher: McGraw-Hill College

Publication Date: 1974

Binding: Hardcover

Condition: Good

About this title

Synopsis:

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.