For the best experience, please enable Javascript
x
Warning - This version of Internet Explorer is out of date. It has known security flaws and may not display all features of this website correctly. Please consider updating this browser.

Mathematical Theory of Computation

Mathematical Theory of Computation

By: Zohar Manna

  • Book
  • Reg. Price › $24.95
  • Share this book:
  • Share on Google+

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.

Reprint of the McGraw-Hill, New York, 1974 edition.
AvailabilityUsually ships in 24 to 48 hours
ISBN 100486432386
ISBN 139780486432380
Author/EditorZohar Manna
FormatBook
Page Count480
Dimensions5 3/8 x 8 1/2

You might also Like...

Product Review

<--!Google Universal Analytics Code!-->
Out of Stock Notification:
Coming Soon: