Items related to Mathematical Theory of Computation (Dover Books on...
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.
"synopsis" may belong to another edition of this title.
Search results for Mathematical Theory of Computation (Dover Books on...
Stock Image
Mathematical Theory of Computa
Seller: SecondSale, Montgomery, IL, U.S.A.
Seller rating 4 out of 5 stars
Condition: Good. Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc. Seller Inventory # 00090519364
Quantity: 1 available
Stock Image
Mathematical Theory of Computation
Published by
Dover Publications, Incorporated, 2003
ISBN 10: 0486432386
ISBN 13: 9780486432380
Used
Softcover
Seller: Better World Books, Mishawaka, IN, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. Used book that is in clean, average condition without any missing pages. Seller Inventory # 51852229-6
Quantity: 1 available
Seller Image
Mathematical Theory of Computation
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 1713832-n
Quantity: Over 20 available
Seller Image
Mathematical Theory of Computation (Paperback or Softback)
Published by
Dover Publications 12/24/2003, 2003
ISBN 10: 0486432386
ISBN 13: 9780486432380
New
Paperback or Softback
Seller: BargainBookStores, Grand Rapids, MI, U.S.A.
Seller rating 5 out of 5 stars
Paperback or Softback. Condition: New. Mathematical Theory of Computation 1.07. Book. Seller Inventory # BBS-9780486432380
Quantity: 5 available
Seller Image
Mathematical Theory of Computation
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 1713832
Quantity: Over 20 available
Stock Image
Mathematical Theory of Computation (Dover Books on Mathematics)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Feb2215580229588
Quantity: Over 20 available
Stock Image
Mathematical Theory of Computation (Dover Books on Mathematics)
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9780486432380
Quantity: Over 20 available
Stock Image
Mathematical Theory of Computation (Paperback)
Published by
Dover Publications, New York, 2003
ISBN 10: 0486432386
ISBN 13: 9780486432380
New
Paperback
Seller: Grand Eagle Retail, Mason, OH, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. 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. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9780486432380
Quantity: 1 available
Seller Image
Mathematical Theory of Computation
Published by
Dover Publications Inc., US, 2003
ISBN 10: 0486432386
ISBN 13: 9780486432380
New
Paperback
Seller: Rarewaves USA, OSWEGO, IL, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: New. Seller Inventory # LU-9780486432380
Quantity: Over 20 available
Seller Image
Mathematical Theory of Computation
Published by
Dover Publications Inc., US, 2003
ISBN 10: 0486432386
ISBN 13: 9780486432380
New
Paperback
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New. Seller Inventory # LU-9780486432380
Quantity: Over 20 available