We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£55.72
It has never been this cheap. We have no record of a lower price.
£56 today · cheaper than every other day in the last 3 months
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)
Price data last checked 30 day(s) ago - will refresh soon
We'll watch every seller, every day. One email when your price arrives.
Price History & Forecast
Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.
Last 61 days · 61 data points (no recent data)
Historical
Generating forecast…
Price data last checked 30 day(s) ago - will refresh soon
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
↑ Price chart
when this has been cheap or pricey
when this has been cheap or pricey
↑ Forecast
where the price is heading next
where the price is heading next
↓ Statistics
all-time high & low, recent range
all-time high & low, recent range
↑ Price alert
name your number, we'll email you
name your number, we'll email you
Price Distribution
Price distribution over 61 days • 2 price levels
Current Price
Price Analysis
Most common price: £57 (32 days, 52.5%)
Price range: £56 - £57
Price levels: 2 different prices over 61 days
Description
The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, which took place in London, Ontario, Canada, in January 2024. The 30 full papers presented in the proceedings were carefully reviewed and selected from 74 submissions. They were organized in topical sections as follows:Part I: Abstract interpretation; infinite-state systems; model checking and synthesis; SAT, SMT, and automated reasoning; Part II: Concurrency; neural networks; probabilistic and quantum programs; program and system verification; runtime verification; security and privacy;
Product Specifications
- Brand
- Springer
- Format
- paperback
- ASIN
- 3031505204
- Category
- Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
- Domain
- Amazon UK
- Release Date
- 03 January 2024
- Listed Since
- 10 November 2023
Barcode
No barcode data available
Similar Products You Might Like
99% match
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
£62.15
19 Sep 2026
97% match
Model Checking Software: 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings: 13255 (Lecture Notes in Computer Science, 13255)
Springer
£71.18
21 Sep 2026
97% match
Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, ... (Lecture Notes in Computer Science, 13182)
Springer
£69.59
07 Oct 2026
96% match
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, ... (Lecture Notes in Computer Science, 13701)
Springer
£64.56
19 Sep 2026
96% match
Intelligent Computer Mathematics: 18th International Conference, CICM 2025, Brasilia, Brazil, October 6–10, 2025, Proceedings (Lecture Notes in Computer Science, 16136)
Springer
£96.93
12 Sep 2026
96% match
Integrated Formal Methods: 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings: 14300 (Lecture Notes in Computer Science, 14300)
Springer
£90.81
24 Sep 2026
96% match
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
£56.93
17 Sep 2026
96% match
Intelligent Computer Mathematics: 16th International Conference, CICM 2023, Cambridge, UK, , September 5–8, 2023 Proceedings: 14101 (Lecture Notes in Computer Science, 14101)
Springer
£37.89
23 Sep 2026
96% match
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
£61.07
17 Sep 2026
96% match
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
£42.64
11 Sep 2026
96% match
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
£61.06
12 Sep 2026
96% match
Advanced Intelligent Computing Technology and Applications: 20th International Conference, ICIC 2024, Tianjin, China, August 5–8, 2024, Proceedings, ... (Lecture Notes in Computer Science, 14867)
Springer
£69.97
08 Oct 2026
96% match
Advanced Intelligent Computing Technology and Applications: 20th International Conference, ICIC 2024, Tianjin, China, August 5–8, 2024, Proceedings, ... (Lecture Notes in Computer Science, 14865)
Springer
£147.14
24 Sep 2026
96% match
Advanced Intelligent Computing Technology and Applications: 21st International Conference, ICIC 2025, Ningbo, China, July 26–29, 2025, Proceedings, ... (Lecture Notes in Computer Science, 15849)
Springer
£55.60
06 Sep 2026
96% match
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
£69.99
10 Sep 2026
96% match
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
£59.93
22 Sep 2026
96% match
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
£59.93
23 Sep 2026
96% match
Advanced Intelligent Computing Technology and Applications: 20th International Conference, ICIC 2024, Tianjin, China, August 5–8, 2024, Proceedings, ... (Lecture Notes in Computer Science, 14874)
Springer
£61.07
12 Sep 2026
96% match
Advanced Intelligent Computing Technology and Applications: 21st International Conference, ICIC 2025, Ningbo, China, July 26–29, 2025, Proceedings, ... (Lecture Notes in Computer Science, 15856)
Springer
£78.28
12 Sep 2026
96% match
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
£61.07
17 Sep 2026
96% match
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
£77.51
18 Sep 2026
96% match
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
£61.07
17 Sep 2026
96% match
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
£59.64
22 Sep 2026
96% match
Automated Technology for Verification and Analysis: 23rd International Symposium, ATVA 2025, Bengaluru, India, October 27–31, 2025, Proceedings (Lecture Notes in Computer Science, 16145)
Springer
£60.30
08 Oct 2026