The book is currently out of stock
The Calculus of Computation
Decision Procedures with Applications to Verification
Authors
More about the book
Focusing on computational logic, the textbook covers foundational concepts of first-order logic and advances to modern decision procedures for arithmetic and data structures. It emphasizes a logical methodology for developing correct software, making it a valuable resource for understanding both theoretical and practical aspects of computational logic in engineering.
Book purchase
The Calculus of Computation, Zohar Manna, Aaron R. Bradley
- Language
- Released
- 2010
- Binding
- (Paperback)
We’ll email you as soon as we track it down.
Payment methods
No one has rated yet.
- Title
- The Calculus of Computation
- Subtitle
- Decision Procedures with Applications to Verification
- Language
- English
- Authors
- Zohar Manna, Aaron R. Bradley
- Publisher
- Springer Berlin Heidelberg
- Released
- 2010
- Format
- Paperback
- Pages
- 384
- ISBN13
- 9783642093470
- Series
- Categories
- Tags
- Logic
- Description
- Focusing on computational logic, the textbook covers foundational concepts of first-order logic and advances to modern decision procedures for arithmetic and data structures. It emphasizes a logical methodology for developing correct software, making it a valuable resource for understanding both theoretical and practical aspects of computational logic in engineering.