We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£71.18
Springer Model Checking Software: 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings: 13255 (Lecture Notes in Computer Science, 13255)
Price data last checked 97 day(s) ago - refreshing...
We'll watch every seller, every day. One email when your price arrives.
Same price for 6 weeks. Today is much like next week.
£71 for 40 days straight · last change was Jan 2026
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 217 days • 217 data points (No recent data available)
Price Distribution
Price distribution over 217 days • 5 price levels
Price Analysis
Most common price: £74 (121 days, 55.8%)
Price range: £59 - £76
Price levels: 5 different prices over 217 days
Product Specifications
- Brand
- Springer
- Format
- paperback
- ASIN
- 3031150767
- Domain
- Amazon UK
- Release Date
- 23 August 2022
- Listed Since
- 19 July 2022
Barcode
No barcode data available
Similar Products You Might Like
Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, ... (Lecture Notes in Computer Science, 14500)
Springer
Verification, Model Checking, and Abstract Interpretation: 27th International Conference, VMCAI 2026, Rennes, France, January 12–13, 2026, Proceedings (Lecture Notes in Computer Science, 16417)
Springer
Software Engineering and Formal Methods: 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings: 13085 (Lecture Notes in Computer Science, 13085)
Springer
Intelligent Computer Mathematics: 18th International Conference, CICM 2025, Brasilia, Brazil, October 6–10, 2025, Proceedings (Lecture Notes in Computer Science, 16136)
Springer
Mathematical Modelling, Applied Analysis and Computation: ICMMAAC 2018, Jaipur, India, July 6-8: 272 (Springer Proceedings in Mathematics & Statistics, 272)
Springer
Advanced Intelligent Computing Technology and Applications: 21st International Conference, ICIC 2025, Ningbo, China, July 26–29, 2025, Proceedings, ... in Computer and Information Science, 2568)
Springer
Soft Computing and Its Engineering Applications: 7th International Conference, icSoftComp 2025, Hanoi, Vietnam, December 9–11, 2025, Proceedings, Part ... in Computer and Information Science, 2873)
Springer
Advanced Intelligent Computing Technology and Applications: 21st International Conference, ICIC 2025, Ningbo, China, July 26–29, 2025, Proceedings, ... in Computer and Information Science, 2571)
Springer
Advanced Intelligent Computing Technology and Applications: 21st International Conference, ICIC 2025, Ningbo, China, July 26–29, 2025, Proceedings, ... in Computer and Information Science, 2572)
Springer
Advanced Intelligent Computing Technology and Applications: 21st International Conference, ICIC 2025, Ningbo, China, July 26–29, 2025, Proceedings, ... in Computer and Information Science, 2574)
Springer
Advanced Intelligent Computing Technology and Applications: 21st International Conference, ICIC 2025, Ningbo, China, July 26–29, 2025, Proceedings, ... in Computer and Information Science, 2575)
Springer
Mathematical Modelling and Scientific Computing with Applications: ICMMSC 2018, Indore, India, July 19–21: 308 (Springer Proceedings in Mathematics & Statistics, 308)
Springer
South African Computer Science and Information Systems Research Trends: 46th Annual Conference, SAICSIT 2025, Durban, South Africa, July 17–18, 2025, ... in Computer and Information Science, 2583)
Springer
New Trends in Computer Technologies and Applications: 25th International Computer Symposium, ICS 2022, Taoyuan, Taiwan, December 15–17, 2022, ... in Computer and Information Science, 1723)
Springer
Advanced Intelligent Computing Technology and Applications: 21st International Conference, ICIC 2025, Ningbo, China, July 26–29, 2025, Proceedings, ... in Computer and Information Science, 2564)
Springer
Research Perspectives on Software Engineering and Systems Design: Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 5: 1492 (Lecture Notes in Networks and Systems, 1492)
Programming Languages and Systems: 23rd Asian Symposium, APLAS 2025, Bengaluru, India, October 27–30, 2025, Proceedings (Lecture Notes in Computer Science, 16201)
Springer
Advanced Informatics for Computing Research: 5th International Conference, ICAICR 2021, Gurugram, India, December 18–19, 2021, Revised Selected ... in Computer and Information Science, 1575)
Springer
Proceedings of 2nd International Conference on Mathematical Modeling and Computational Science: ICMMCS 2021: 1422 (Advances in Intelligent Systems and Computing, 1422)
Springer
Complex, Intelligent and Software Intensive Systems: Proceedings of the 18th International Conference on Complex, Intelligent and Software Intensive ... and Communications Technologies, 87)
Springer
Soft Computing and Its Engineering Applications: 7th International Conference, icSoftComp 2025, Hanoi, Vietnam, December 9–11, 2025, Proceedings, Part ... in Computer and Information Science, 2875)
Springer
Challenges of Software Verification: 238 (Intelligent Systems Reference Library, 238)
Springer
Software Engineering and Management: Theory and Applications: Volume 18 (Studies in Computational Intelligence, 1239)
Springer
Complex, Intelligent and Software Intensive Systems: Proceedings of the 19th International Conference on Complex, Intelligent, and Software Intensive ... and Communications Technologies, 260)
Springer