Mathematical Theory of Computation (Dover Books on Mathematics)
Manna, Zohar; Mathematics
ISBN 10: 0486432386 ISBN 13: 9780486432380
Published by Dover Publications (edition Illustrated), 2003
Used
Paperback
From
BooksRun, Philadelphia, PA, U.S.A.
Seller rating 5 out of 5 stars
AbeBooks Seller since February 2, 2016
This specific item is no longer available.
About this Item
Description:
It's a well-cared-for item that has seen limited use. The item may show minor signs of wear. All the text is legible, with all pages included. It may have slight markings and/or highlighting. Seller Inventory # 0486432386-8-1
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.
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.
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: Mathematical Theory of Computation (Dover ...
Publisher: Dover Publications (edition Illustrated)
Publication Date: 2003
Binding: Paperback
Condition: Very Good
Edition: Illustrated.