Rigorous Software Development: An Introduction to Program Verification (Undergraduate Topics in Computer Science)
Rigorous Software Development: An Introduction to Program Verification (Undergraduate Topics in Computer Science)
Overall Rating: 2.4 / 5 (average from multiple review sources, as of 24 Apr 2026)
Based on a total of 46,997 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,997 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
This title will be released on July 26, 2026. Pre-order now. Express Delivery available with Amazon Prime.
Direct debit
Direct debit
Visa
Visa
Mastercard
Mastercard
£54.99
Free Delivery
Rigorous Software Development : An Introduction to Program Verification
Overall Rating: 4.1 / 5 (average from multiple review sources, as of 1 May 2026)
Based on a total of 50,012 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 50,012 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.
2 - 4 working days
Visa
Visa
Mastercard
Mastercard
£94.99
Free Delivery
🤖 Ask ChatGPT
💡 Is it worth the price?
🔁 Better alternatives?
⭐ What do users say?
Rigorous Software Development: An Introduction to Program Verification (Undergraduate Topics in Computer Science) - Details
▶ Finding you the best price!
We have found 2 prices for Rigorous Software Development: An Introduction to Program Verification (Undergraduate Topics in Computer Science). Our price list is completely transparent with the cheapest listed first. Additional delivery costs may apply.
Rigorous Software Development: An Introduction to Program Verification (Undergraduate Topics in Computer Science) - Price Information
- Cheapest price: £54.99
- The cheapest price is offered by amazon.co.uk. You can order the product there.
- The price range for the product Rigorous Software Development: An Introduction to Program Verification (Undergraduate Topics in Computer Science) is €£54.99to €£94.99 with a total of 2 offers.
- Payment methods: The online shop amazon.co.uk supports: Direct debit, Visa, Mastercard
- Delivery: The shortest delivery time is This title will be released on July 26, 2026. Pre-order now. Express Delivery available with Amazon Prime. working days offered by amazon.co.uk.
Similar products
Legal Risks in the Software Development Lifecycle
£49.39
Whsmith.co.uk
Free Delivery
£39.89
amazon.co.uk
Free Delivery
£60.99
amazon.co.uk
Free Delivery
An Introduction to Formal Languages and Automata
£99.75
Whsmith.co.uk
Free Delivery
Akfldms DeepsSeek Xiaozhi - Development Board PCB Integration Artificial Intelligence AI Voice Chat N16R8
£16.99
Amazon-marketplace.co.uk
Delivery from £0.20
Cheapest offer
Pages: 306, Edition: Second Edition 2026, Paperback, Springer
£54.99
This title will be released on July 26, 2026. Pre-order now. Express Delivery available with Amazon Prime.
amazon.co.uk
How well did the information meet your expectations and assist you further?
Not at all
Neutral
Very much
Your responses remain anonymous and are used solely to improve our website. No personal data will be stored or shared with third parties.
Don't forget your voucher code:
Report Illegal Concerns
You are about to report a violation based on the EU Digital Services Act (DSA).