search for books and compare prices
The Calculus of Computation: Decision Procedures With Applications to Verification
By
Aaron R. Bradley and
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
Springer-Verlag New York Inc
Publication date
June 30, 2007
Pages
366
Binding
Hardcover
Book category
Adult Non-Fiction
ISBN-13
9783540741121
ISBN-10
3540741127
Dimensions
0.75 by 8.25 by 9.25 in.
Weight
1.50 lbs.
Published in
Europe
Original list price
$59.99
Amazon.com says people who bought this book also bought:
The Little Typer (MIT Press) | Handbook of Practical Logic and Automated Reasoning | Types and Programming Languages | The Little Prover | Principles of Program Analysis | Semantics With Applications | Decision Procedures
The Little Typer (MIT Press) | Handbook of Practical Logic and Automated Reasoning | Types and Programming Languages | The Little Prover | Principles of Program Analysis | Semantics With Applications | Decision Procedures
Summaries and Reviews
Summary
Computational logic is a growing field with applications in artificial intelligence, constraint solving, and the design and verification of software and hardware systems. This book introduces computational logic from the foundations of first-order logic to decision procedures for arithmetic, data structures, and combination theories.
Editions
Hardcover
The price comparison is for this edition
With Aaron R. Bradley |
from Springer-Verlag New York Inc (June 30, 2007)
9783540741121 | details & prices | 366 pages | 8.25 × 9.25 × 0.75 in. | 1.50 lbs | List price $59.99
About: Computational logic is a growing field with applications in artificial intelligence, constraint solving, and the design and verification of software and hardware systems.
About: Computational logic is a growing field with applications in artificial intelligence, constraint solving, and the design and verification of software and hardware systems.
Paperback
With Aaron R. Bradley |
from Springer Verlag (September 3, 2007)
9783642093470 | details & prices | 382 pages | 6.25 × 9.25 × 0.75 in. | 1.15 lbs | List price $59.99
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.