Mathematical Theory of Computation (Dover Books on Mathematics)

Manna, Zohar; Mathematics

ISBN 10: 0486432386 / ISBN 13: 9780486432380

Published by Dover Publications, 2003

A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if youâ re not satisfied with purchase please return item for full refund. Ships via media mail. Seller Inventory # OTV.0486432386.G

Synopsis:

With the objective of making into a science the art of verifying computer programs (debugging), the author addresses both practical and theoretical aspects of the process. A classic of sequential program verification, this volume has been translated into almost a dozen other languages and is much in demand among graduate and advanced undergraduate computer science students.
Subjects include computability (with discussions of finite automata and Turing machines); predicate calculus (basic notions, natural deduction, and the resolution method); verification of programs (both flowchart and algol-like programs); flowchart schemas (basic notions, decision problems, formalization in predicate calculus, and translation programs); and the fixpoint theory of programs (functions and functionals, recursive programs, and verification programs). The treamtent is self-contained, and each chapter concludes with bibliographic remarks, references, and problems.

Bibliographic Details

Title: Mathematical Theory of Computation (Dover ...
Publisher: Dover Publications
Publication Date: 2003
Binding: Soft cover
Condition: good