Call Boomerang Books 1300 36 33 32

Description - Mathematical Theory of Computation by Zohar Manna

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.

Buy Mathematical Theory of Computation by Zohar Manna from Australia's Online Independent Bookstore, Boomerang Books.

Book Details

ISBN: 9780486432380
ISBN-10: 0486432386
Format: Paperback
(213mm x 140mm x 24mm)
Pages: 464
Imprint: Dover Publications Inc.
Publisher: Dover Publications Inc.
Publish Date: 1-Nov-2003
Country of Publication: United States

Book Reviews - Mathematical Theory of Computation by Zohar Manna

» Have you read this book? We'd like to know what you think about it - write a review about Mathematical Theory of Computation book by Zohar Manna and you'll earn 50c in Boomerang Bucks loyalty dollars (you must be a Boomerang Books Account Holder - it's free to sign up and there are great benefits!)