The book is currently out of stock
The Calculus of Computation
Decision Procedures with Applications to Verification
Authors
384 pages
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 variant
2010, paperback
Book purchase
We’ll notify you via email once we track it down.