We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£63.55
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)
Price data last checked 99 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.
£64 today · cheaper than every other day in the last 4 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 19 days • 19 data points (No recent data available)
Price Distribution
Price distribution over 19 days • 1 price levels
Price Analysis
Most common price: £64 (19 days, 100.0%)
Price range: £64 - £64
Price levels: 1 different prices over 19 days
Product Specifications
- Brand
- Springer
- Format
- paperback
- ASIN
- 3032156998
- Category
- Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
- Domain
- Amazon UK
- Release Date
- 13 January 2026
- Listed Since
- 25 November 2025
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
Model Checking Software: 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings: 13255 (Lecture Notes in Computer Science, 13255)
Springer
Intelligent Computer Mathematics: 18th International Conference, CICM 2025, Brasilia, Brazil, October 6–10, 2025, Proceedings (Lecture Notes in Computer Science, 16136)
Springer
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, ... (Lecture Notes in Computer Science, 13701)
Springer
Programming Languages and Systems: 23rd Asian Symposium, APLAS 2025, Bengaluru, India, October 27–30, 2025, Proceedings (Lecture Notes in Computer Science, 16201)
Springer
Theory and Applications of Models of Computation: 19th Annual Conference, TAMC 2025, Jinan, China, September 19–21, 2025, Proceedings (Lecture Notes in Computer Science, 16084)
Springer
Responsible AI for Value Creation: First Interdisciplinary Workshop, REPAI-W 2025, Copenhagen, Denmark, December 1, 2025, Proceedings (Lecture Notes in Computer Science, 16390)
Springer
Challenges of Software Verification: 238 (Intelligent Systems Reference Library, 238)
Springer
Theory and Applications of Models of Computation: 17th Annual Conference, TAMC 2022, Tianjin, China, September 16–18, 2022, Proceedings: 13571 (Lecture Notes in Computer Science, 13571)
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
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 Informatics for Computing Research: 5th International Conference, ICAICR 2021, Gurugram, India, December 18–19, 2021, Revised Selected ... in Computer and Information Science, 1575)
Springer
Testing Software and Systems: 37th IFIP WG 6.1 International Conference, ICTSS 2025, Limassol, Cyprus, September 17–19, 2025, Proceedings: 16107 (Lecture Notes in Computer Science, 16107)
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
Advances in Visual Informatics: 9th International Visual Informatics Conference, IVIC 2025, Guangzhou, China, November 12–13, 2025, Proceedings (Lecture Notes in Computer Science, 16215)
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
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
Integrated Formal Methods: 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings: 14300 (Lecture Notes in Computer Science, 14300)
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, 2572)
Springer
Computer Applications: 40th CCF National Conference of Computer Applications, CCF NCCA 2025, Beijing, China, August 7–9, 2025, Proceedings (Communications in Computer and Information Science, 2774)
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
Computational Visual Media: 13th International Conference, CVM 2025, Hong Kong SAR, China, April 19–21, 2025, Proceedings, Part III: 15665 (Lecture Notes in Computer Science, 15665)
Springer
Logics and Type Systems in Theory and Practice: Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday: 14560 (Lecture Notes in Computer Science, 14560)
Springer