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. 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.
"synopsis" may belong to another edition of this title.
Product Description
Mathematical Theory of Computation Attempting to make into a science the art of verifying computer programs (debugging), the author addresses both practical and theoretical aspects. This self-contained treatment includes selected concepts of computability theory and mathematical logic.
Synopsis
A mathematical theory of computation, according to the formulation of Manna (Stanford U.), is a theory that "attempts to formalize our understanding of computation," and to place program verification on greater scientific footing. He looks at the theory and practice of computational verification techniques, keeping the underlying mathematical theor
"About this title" may belong to another edition of this title.
- PublisherDover Publications Inc.
- Publication date2003
- ISBN 10 0486432386
- ISBN 13 9780486432380
- BindingPaperback
- LanguageEnglish
- Number of pages464
Search results for Mathematical Theory of Computation (Dover Books on...
Seller Image
Mathematical Theory of Computation
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 1713832-n
Quantity: Over 20 available
Stock Image
Mathematical Theory of Computation
Print on DemandSeller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 516. Seller Inventory # C9780486432380
Quantity: Over 20 available
Stock Image
Mathematical Theory of Computation (Dover Books on Mathematics)
Published by
Dover Publications Inc. 2003-11-01, 2003
ISBN 10: 0486432386
ISBN 13: 9780486432380
New
Paperback
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New. Seller Inventory # 6666-ING-9780486432380
Quantity: Over 20 available
Seller Image
Mathematical Theory of Computation
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 1713832
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
Stock Image
Mathematical Theory of Computation (Paperback)
Published by
Dover Publications, New York, 2003
ISBN 10: 0486432386
ISBN 13: 9780486432380
New
Paperback
Seller: CitiRetail, Stevenage, United Kingdom
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 our UK warehouse or from our Australian or US warehouses, depending on stock availability. Seller Inventory # 9780486432380
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
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
Seller Image
Mathematical Theory of Computation
Published by
Dover Publications Dez 2003, 2003
ISBN 10: 0486432386
ISBN 13: 9780486432380
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware - 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. Seller Inventory # 9780486432380
Quantity: 2 available
Seller Image
Mathematical Theory of Computation
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. KlappentextrnrnWith 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 T. Seller Inventory # 514037568
Quantity: Over 20 available