search for books and compare prices
By
Zohar Manna
Price
Store
Arrives
Preparing
Shipping
Jump quickly to results on these stores:
The price is the lowest for any condition, which may be new or used; other conditions may also be available.
Bibliographic Detail
Publisher
Dover Pubns
Publication date
December 24, 2003
Pages
464
Binding
Paperback
Book category
Adult Non-Fiction
ISBN-13
9780486432380
ISBN-10
0486432386
Dimensions
0.80 by 5.25 by 8.25 in.
Weight
1.05 lbs.
Original list price
$24.95
Other format details
sci/tech
Amazon.com says people who bought this book also bought:
Digital Computer Electronics | Elements of Ml Programming | The Little Prover | Introduction to Formal Languages | Automata and Computability | A Logical Approach to Discrete Math | First-Order Logic
Digital Computer Electronics | Elements of Ml Programming | The Little Prover | Introduction to Formal Languages | Automata and Computability | A Logical Approach to Discrete Math | First-Order Logic
Summaries and Reviews
Amazon.com description: Product Description:
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.
Editions
Hardcover
from McGraw-Hill College (November 1, 1974)
9780070399105 | details & prices | 448 pages | 6.50 × 9.75 × 1.25 in. | 1.70 lbs | List price $103.35
This edition also contains Dot to Dot Count to 20
About: 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.
This edition also contains Dot to Dot Count to 20
About: 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.
Paperback
The price comparison is for this edition
from Dover Pubns (December 24, 2003)
9780486432380 | details & prices | 464 pages | 5.25 × 8.25 × 0.80 in. | 1.05 lbs | List price $24.95
About: 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.
About: 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.
Pricing is shown for items sent to or within the U.S., excluding shipping and tax. Please consult the store to determine exact fees. No warranties are made express or implied about the accuracy, timeliness, merit, or value of the information provided. Information subject to change without notice. isbn.nu is not a bookseller, just an information source.