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

Very Good. Seller Inventory # D8S0-3-M-0070399107-4

Bibliographic Details

Title: Mathematical Theory of Computation (...

Publisher: McGraw-Hill College

Publication Date: 1974

Binding: Hardcover

Condition: Very Good

Book Type: book

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.