The Calculus Of Computation Decision Procedures With Applications To Verification 1st Edition
Explore the foundational principles of the Calculus of Computation and Decision Procedures with this 1st Edition textbook. Delve into their crucial applications to verification, making it an essential resource for students and professionals in computational logic and formal methods seeking to master software verification techniques.