Mathematical Theory of Computation (Dover Books on Mathematics)
Manna, Zohar; Mathematics
ISBN 10: 0486432386 ISBN 13: 9780486432380
Published by Dover Publications, 2003
New
Soft cover
From
Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
AbeBooks Seller since July 22, 2022
This specific item is no longer available.
About this Item
Description:
Seller Inventory # ABLIING23Feb2215580229588
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
Publication Date: 2003
Binding: Soft cover
Condition: New