We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£90.81
Springer Integrated Formal Methods: 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings: 14300 (Lecture Notes in Computer Science, 14300)
Price data last checked 92 day(s) ago - refreshing...
We'll watch every seller, every day. One email when your price arrives.
This is the usual price. Wait for it to drop, or tell us your number.
£91 today · usual range £0–£0 · best ever £23
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 432 days • 432 data points (No recent data available)
Price Distribution
Price distribution over 432 days • 9 price levels
Price Analysis
Most common price: £91 (202 days, 46.8%)
Price range: £23 - £94
Price levels: 9 different prices over 432 days
Product Specifications
- Brand
- Springer
- Format
- paperback
- ASIN
- 3031477049
- Domain
- Amazon UK
- Release Date
- 11 November 2023
- Listed Since
- 29 September 2023
Barcode
No barcode data available
Similar Products You Might Like
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
Intelligent Computer Mathematics: 16th International Conference, CICM 2023, Cambridge, UK, , September 5–8, 2023 Proceedings: 14101 (Lecture Notes in Computer Science, 14101)
Springer
Logic, Language, Information, and Computation: 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023, Proceedings: 13923 (Lecture Notes in Computer Science, 13923)
Springer
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
Foundations of Intelligent Systems: 27th International Symposium, ISMIS 2024, Poitiers, France, June 17–19, 2024, Proceedings: 14670 (Lecture Notes in Computer Science, 14670)
Springer
Proceedings of 2nd International Conference on Mathematical Modeling and Computational Science: ICMMCS 2021: 1422 (Advances in Intelligent Systems and Computing, 1422)
Springer
Experimental IR Meets Multilinguality, Multimodality, and Interaction: 13th International Conference of the CLEF Association, CLEF 2022, Bologna, ... (Lecture Notes in Computer Science, 13390)
Springer
Advanced Intelligent Computing Technology and Applications: 20th International Conference, ICIC 2024, Tianjin, China, August 5–8, 2024, Proceedings, ... (Lecture Notes in Computer Science, 14878)
Springer
Proceedings of the 4th International Conference on Materials Engineering and Functional Materials: ICMFM 2025, February 21–23, Da Nang, Vietnam: 88 (Springer Proceedings in Materials, 88)
Springer
Programming Languages and Systems: 23rd Asian Symposium, APLAS 2025, Bengaluru, India, October 27–30, 2025, Proceedings (Lecture Notes in Computer Science, 16201)
Springer
Advanced Intelligent Computing Technology and Applications: 21st International Conference, ICIC 2025, Ningbo, China, July 26–29, 2025, Proceedings, ... (Lecture Notes in Computer Science, 15853)
Springer
Advanced Intelligent Computing Technology and Applications: 21st International Conference, ICIC 2025, Ningbo, China, July 26–29, 2025, Proceedings, ... (Lecture Notes in Computer Science, 15850)
Springer
Advanced Intelligent Computing Technology and Applications: 21st International Conference, ICIC 2025, Ningbo, China, July 26–29, 2025, Proceedings, ... (Lecture Notes in Computer Science, 15847)
Springer
Innovative Intelligent Industrial Production and Logistics: 4th International Conference, IN4PL 2023, Rome, Italy, November 15–17, 2023, Proceedings: ... in Computer and Information Science, 1886)
Springer
Experimental IR Meets Multilinguality, Multimodality, and Interaction: 14th International Conference of the CLEF Association, CLEF 2023, Thessaloniki, ... (Lecture Notes in Computer Science, 14163)
Springer
Advanced Intelligent Computing Technology and Applications: 21st International Conference, ICIC 2025, Ningbo, China, July 26–29, 2025, Proceedings, ... (Lecture Notes in Computer Science, 15848)
Springer
Image and Graphics: 13th International Conference, ICIG 2025, Xuzhou, China, October 31 – November 2, 2025, Proceedings, Part II (Lecture Notes in Computer Science, 16162)
Springer
Innovative Intelligent Industrial Production and Logistics: 6th IFAC/INSTICC International Conference, IN4PL 2025, Marbella, Spain, October 23–24, ... in Computer and Information Science, 2825)
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
Mathematics and Logics in Computer Science: Proceedings of ICMLCS 2024 (Algorithms for Intelligent Systems)
Springer
Advanced Intelligent Computing Technology and Applications: 21st International Conference, ICIC 2025, Ningbo, China, July 26–29, 2025, Proceedings, ... (Lecture Notes in Computer Science, 15852)
Springer
Advanced Intelligent Computing Technology and Applications: 21st International Conference, ICIC 2025, Ningbo, China, July 26–29, 2025, Proceedings, ... (Lecture Notes in Computer Science, 15846)
Springer
Advanced Intelligent Computing Technology and Applications: 21st International Conference, ICIC 2025, Ningbo, China, July 26–29, 2025, Proceedings, ... (Lecture Notes in Computer Science, 15863)
Springer