The Calculus of Computation: Decision Procedures with Applications to Verification
The Calculus of Computation: Decision Procedures with Applications to Verification
Overall Rating: 4.8 / 5 (average from multiple review sources, as of 13 May 2026)
Based on a total of 252 customer reviews from independent review platforms.
Sources & Transparency:
The values are derived from publicly available retailer ratings from platforms such as Feefo, http://Reviews.io , Trustpilot, and others, and are aggregated monthly.
All brand names and logos are the property of their respective owners.
Notice:
pricehunter.co.uk cannot guarantee that published shop ratings originate from consumers who have actually made a purchase from the reviewed retailer.
Based on a total of 252 customer reviews from independent review platforms.
Sources & Transparency:
The values are derived from publicly available retailer ratings from platforms such as Feefo, http://Reviews.io , Trustpilot, and others, and are aggregated monthly.
All brand names and logos are the property of their respective owners.
Notice:
pricehunter.co.uk cannot guarantee that published shop ratings originate from consumers who have actually made a purchase from the reviewed retailer.
Cheapest Total Price
Usually dispatched within 2 to 3 weeks
Direct debit
Direct debit
Visa
Visa
Mastercard
Mastercard
£59.19
Free Delivery
The Calculus of Computation: Decision Procedures with Applications to Verification
Overall Rating: 2.4 / 5 (average from multiple review sources, as of 24 May 2026)
Based on a total of 46,628 customer reviews from independent review platforms.
Sources & Transparency:
The values are derived from publicly available retailer ratings from platforms such as Feefo, http://Reviews.io , Trustpilot, and others, and are aggregated monthly.
All brand names and logos are the property of their respective owners.
Notice:
pricehunter.co.uk cannot guarantee that published shop ratings originate from consumers who have actually made a purchase from the reviewed retailer.
Based on a total of 46,628 customer reviews from independent review platforms.
Sources & Transparency:
The values are derived from publicly available retailer ratings from platforms such as Feefo, http://Reviews.io , Trustpilot, and others, and are aggregated monthly.
All brand names and logos are the property of their respective owners.
Notice:
pricehunter.co.uk cannot guarantee that published shop ratings originate from consumers who have actually made a purchase from the reviewed retailer.
In stock. Express Delivery available with Amazon Prime.
Direct debit
Direct debit
Visa
Visa
Mastercard
Mastercard
£65.99
Free Delivery
The Calculus of Computation: Decision Procedures with Applications to Verification
Overall Rating: 4.8 / 5 (average from multiple review sources, as of 13 May 2026)
Based on a total of 252 customer reviews from independent review platforms.
Sources & Transparency:
The values are derived from publicly available retailer ratings from platforms such as Feefo, http://Reviews.io , Trustpilot, and others, and are aggregated monthly.
All brand names and logos are the property of their respective owners.
Notice:
pricehunter.co.uk cannot guarantee that published shop ratings originate from consumers who have actually made a purchase from the reviewed retailer.
Based on a total of 252 customer reviews from independent review platforms.
Sources & Transparency:
The values are derived from publicly available retailer ratings from platforms such as Feefo, http://Reviews.io , Trustpilot, and others, and are aggregated monthly.
All brand names and logos are the property of their respective owners.
Notice:
pricehunter.co.uk cannot guarantee that published shop ratings originate from consumers who have actually made a purchase from the reviewed retailer.
Usually dispatched within 2 to 3 days
Direct debit
Direct debit
Visa
Visa
Mastercard
Mastercard
£67.85
Free Delivery
The Calculus of Computation: Decision Procedures with Applications to Verification
Overall Rating: 4.8 / 5 (average from multiple review sources, as of 13 May 2026)
Based on a total of 252 customer reviews from independent review platforms.
Sources & Transparency:
The values are derived from publicly available retailer ratings from platforms such as Feefo, http://Reviews.io , Trustpilot, and others, and are aggregated monthly.
All brand names and logos are the property of their respective owners.
Notice:
pricehunter.co.uk cannot guarantee that published shop ratings originate from consumers who have actually made a purchase from the reviewed retailer.
Based on a total of 252 customer reviews from independent review platforms.
Sources & Transparency:
The values are derived from publicly available retailer ratings from platforms such as Feefo, http://Reviews.io , Trustpilot, and others, and are aggregated monthly.
All brand names and logos are the property of their respective owners.
Notice:
pricehunter.co.uk cannot guarantee that published shop ratings originate from consumers who have actually made a purchase from the reviewed retailer.
In stock
Direct debit
Direct debit
Visa
Visa
Mastercard
Mastercard
£68.19
Free Delivery
The Calculus of Computation: Decision Procedures with Applications to Verification
Overall Rating: 4.8 / 5 (average from multiple review sources, as of 13 May 2026)
Based on a total of 252 customer reviews from independent review platforms.
Sources & Transparency:
The values are derived from publicly available retailer ratings from platforms such as Feefo, http://Reviews.io , Trustpilot, and others, and are aggregated monthly.
All brand names and logos are the property of their respective owners.
Notice:
pricehunter.co.uk cannot guarantee that published shop ratings originate from consumers who have actually made a purchase from the reviewed retailer.
Based on a total of 252 customer reviews from independent review platforms.
Sources & Transparency:
The values are derived from publicly available retailer ratings from platforms such as Feefo, http://Reviews.io , Trustpilot, and others, and are aggregated monthly.
All brand names and logos are the property of their respective owners.
Notice:
pricehunter.co.uk cannot guarantee that published shop ratings originate from consumers who have actually made a purchase from the reviewed retailer.
Usually dispatched within 2 to 3 weeks
Direct debit
Direct debit
Visa
Visa
Mastercard
Mastercard
£69.71
Free Delivery
The Calculus of Computation: Decision Procedures with Applications to Verification
Overall Rating: 4.8 / 5 (average from multiple review sources, as of 13 May 2026)
Based on a total of 252 customer reviews from independent review platforms.
Sources & Transparency:
The values are derived from publicly available retailer ratings from platforms such as Feefo, http://Reviews.io , Trustpilot, and others, and are aggregated monthly.
All brand names and logos are the property of their respective owners.
Notice:
pricehunter.co.uk cannot guarantee that published shop ratings originate from consumers who have actually made a purchase from the reviewed retailer.
Based on a total of 252 customer reviews from independent review platforms.
Sources & Transparency:
The values are derived from publicly available retailer ratings from platforms such as Feefo, http://Reviews.io , Trustpilot, and others, and are aggregated monthly.
All brand names and logos are the property of their respective owners.
Notice:
pricehunter.co.uk cannot guarantee that published shop ratings originate from consumers who have actually made a purchase from the reviewed retailer.
Usually dispatched within 3 to 4 days
Direct debit
Direct debit
Visa
Visa
Mastercard
Mastercard
£70.19
Free Delivery
The Calculus of Computation: Decision Procedures with Applications to Verification
Overall Rating: 4.8 / 5 (average from multiple review sources, as of 13 May 2026)
Based on a total of 252 customer reviews from independent review platforms.
Sources & Transparency:
The values are derived from publicly available retailer ratings from platforms such as Feefo, http://Reviews.io , Trustpilot, and others, and are aggregated monthly.
All brand names and logos are the property of their respective owners.
Notice:
pricehunter.co.uk cannot guarantee that published shop ratings originate from consumers who have actually made a purchase from the reviewed retailer.
Based on a total of 252 customer reviews from independent review platforms.
Sources & Transparency:
The values are derived from publicly available retailer ratings from platforms such as Feefo, http://Reviews.io , Trustpilot, and others, and are aggregated monthly.
All brand names and logos are the property of their respective owners.
Notice:
pricehunter.co.uk cannot guarantee that published shop ratings originate from consumers who have actually made a purchase from the reviewed retailer.
Usually dispatched within 2 to 3 days
Direct debit
Direct debit
Visa
Visa
Mastercard
Mastercard
£70.97
Free Delivery
The Calculus of Computation: Decision Procedures with Applications to Verification
Overall Rating: 4.8 / 5 (average from multiple review sources, as of 13 May 2026)
Based on a total of 252 customer reviews from independent review platforms.
Sources & Transparency:
The values are derived from publicly available retailer ratings from platforms such as Feefo, http://Reviews.io , Trustpilot, and others, and are aggregated monthly.
All brand names and logos are the property of their respective owners.
Notice:
pricehunter.co.uk cannot guarantee that published shop ratings originate from consumers who have actually made a purchase from the reviewed retailer.
Based on a total of 252 customer reviews from independent review platforms.
Sources & Transparency:
The values are derived from publicly available retailer ratings from platforms such as Feefo, http://Reviews.io , Trustpilot, and others, and are aggregated monthly.
All brand names and logos are the property of their respective owners.
Notice:
pricehunter.co.uk cannot guarantee that published shop ratings originate from consumers who have actually made a purchase from the reviewed retailer.
Usually dispatched within 9 to 10 days
Direct debit
Direct debit
Visa
Visa
Mastercard
Mastercard
£107.53
Delivery from £4.99
🤖 Ask ChatGPT
💡 Is it worth the price?
🔁 Better alternatives?
⭐ What do users say?
The Calculus of Computation: Decision Procedures with Applications to Verification - Details
▶ Finding you the best price!
We have found 8 prices for The Calculus of Computation: Decision Procedures with Applications to Verification. Our price list is completely transparent with the cheapest listed first. Additional delivery costs may apply.
The Calculus of Computation: Decision Procedures with Applications to Verification - Price Information
- Cheapest price: £59.19
- The cheapest price is offered by Amazon-marketplace.co.uk. You can order the product there.
- The price range for the product The Calculus of Computation: Decision Procedures with Applications to Verification is €£59.19to €£107.53 with a total of 8 offers.
- Payment methods: The online shop Amazon-marketplace.co.uk supports: Direct debit, Visa, Mastercard
- Delivery: The shortest delivery time is Usually dispatched within 2 to 3 weeks working days offered by Amazon-marketplace.co.uk.
Similar products
£8.13
Amazon-marketplace.co.uk
Free Delivery
£16.24
Amazon-marketplace.co.uk
Delivery from £2.80
£34.18
Amazon-marketplace.co.uk
Free Delivery
£5.50
Amazon-marketplace.co.uk
Delivery from £1.26
£181.24
Amazon-marketplace.co.uk
Delivery from £5.00
Cheapest offer
Pages: 382, Edition: 2007, Hardcover, Springer
£59.19
Usually dispatched within 2 to 3 weeks
Amazon-marketplace.co.uk
Don't forget your voucher code:
Report Illegal Concerns
You are about to report a violation based on the EU Digital Services Act (DSA).