Mega Dose
 
 

Special Offers see all

Enter to WIN a $100 Credit

Subscribe to PowellsBooks.news
for a chance to win.
Privacy Policy

Tour our stores


    Recently Viewed clear list


    Original Essays | September 18, 2014

    Lin Enger: IMG Knowing vs. Knowing



    On a hot July evening years ago, my Toyota Tercel overheated on a flat stretch of highway north of Cedar Rapids, Iowa. A steam geyser shot up from... Continue »

    spacer
Qualifying orders ship free.
$24.95
New Trade Paper
Ships in 1 to 3 days
Add to Wishlist
available for shipping or prepaid pickup only
Available for In-store Pickup
in 7 to 12 days
Qty Store Section
25 Remote Warehouse Mathematics- Number Theory

More copies of this ISBN

Mathematical Theory of Computation

by

Mathematical Theory of Computation Cover

 

Synopses & Reviews

Publisher Comments:

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.

Book News Annotation:

<:st> 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 theory to a minimum. Chapters cover computability, predicate calculus, verification of programs, flowchart schemas, and the "fixpoint" theory of programs. The McGraw-Hill original 1974 edition of this work is cited in
Annotation 2004 Book News, Inc., Portland, OR (booknews.com)

Synopsis:

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:

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.

Table of Contents

Preface

1. Computability

2. Predicate Calculus

3. Verification of Programs

4. Flowchart Schemas

5. The Fixpoint Theory of Programs

Indexes

Product Details

ISBN:
9780486432380
Author:
Manna, Zohar
Publisher:
Dover Publications
Author:
Mathematics
Location:
Mineola, N.Y.
Subject:
General
Subject:
Programming - General
Subject:
Number Theory
Subject:
Debugging in computer science
Subject:
Computer programming
Subject:
General Mathematics
Subject:
Logic
Subject:
Mathematics-Number Theory
Edition Description:
Trade Paper
Series:
Dover Books on Mathematics
Series Volume:
no. 1
Publication Date:
20031231
Binding:
TRADE PAPER
Language:
English
Illustrations:
79 figs.
Pages:
480
Dimensions:
1200x1800

Related Subjects

Computers and Internet » Software Engineering » Programming and Languages
Science and Mathematics » Mathematics » Foundations and Logic
Science and Mathematics » Mathematics » General
Science and Mathematics » Mathematics » Logic and Philosophy
Science and Mathematics » Mathematics » Number Theory
Science and Mathematics » Physics » General
Young Adult » General

Mathematical Theory of Computation New Trade Paper
0 stars - 0 reviews
$24.95 In Stock
Product details 480 pages Dover Publications - English 9780486432380 Reviews:
"Synopsis" by ,
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" by ,
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.

spacer
spacer
  • back to top

FOLLOW US ON...

     
Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and gifts — here at Powells.com.