We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£87.29
Springer Rigorous Software Development: An Introduction to Program Verification (Undergraduate Topics in Computer Science)
Price data last checked 93 day(s) ago - refreshing...
We'll watch every seller, every day. One email when your price arrives.
It has never been this cheap. We have no record of a lower price.
£87 today · cheaper than every other day in the last 3 months
NEW HERE?
Amazon shows you one price. We show you all of them.
Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.
WHAT'S ON THIS PAGE
when this has been cheap or pricey
where the price is heading next
all-time high & low, recent range
name your number, we'll email you
Price History & Forecast
Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.
Last 1 days • 1 data points (No recent data available)
Price Distribution
Price distribution over 1 days • 1 price levels
Price Analysis
Most common price: £87 (1 days, 100.0%)
Price range: £87 - £87
Price levels: 1 different prices over 1 days
Product Specifications
- Brand
- Springer
- Format
- paperback
- ASIN
- 1447175573
- Domain
- Amazon UK
- Release Date
- 07 May 2026
- Listed Since
- 28 May 2025
Barcode
No barcode data available
Similar Products You Might Like
Challenges of Software Verification: 238 (Intelligent Systems Reference Library, 238)
Springer
Security Compliance in Model-driven Development of Software Systems in Presence of Long-Term Evolution and Variants
Springer
Software Design for Resilient Computer Systems
Springer
Software Design for Resilient Computer Systems
Springer
Reliability Technology for Complex Software Systems
Springer
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, ... (Lecture Notes in Computer Science, 13701)
Springer
Software Verification and Validation for Practitioners and Managers, Second Edition
Artech House
The Efficiency and Creativity of Product Development: Lessons from the Game Software Industry in Japan
Springer
Machine-Learning-Assisted Software Defect Prediction
Springer
Credibility, Validity, and Assumptions in Program Evaluation Methodology
Springer
Intelligent Software Defect Prediction
Springer
Handbook of Re-Engineering Software Intensive Systems into Software Product Lines
Springer
Safety and Security Science and Technology: Perspectives from Practice (Advanced Sciences and Technologies for Security Applications)
Springer
Springer Errors-in-Variables Methods in System Identification
Springer
Legal Engineering in the Supervisory System Reform
Springer
Springer - Digital Manufacturing in Industry 5.0 Book
Springer
Virtual and Innovative Quality Management Across the Value Chain: Industry Insights, Case Studies and Best Practices (Management for Professionals)
Springer
Mechanik geschichteter Strukturen
Springer
Managing Software Supply Chains: Theory and Practice
Springer
Securing the Digital Supply Chain: Advances, Challenges, and Solutions (Signals and Communication Technology)
Springer
The Pedagogy of Secondary-School Mathematics
Springer
Hardware Security: A Look into the Future
Springer
Design for Testability, Debug and Reliability: Next Generation Measures Using Formal Techniques
Springer
Advanced Design: Universal Principles for All Disciplines
Springer