Verification, Model Checking, and Abstract Interpretation: 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, ... (Lecture Notes in Computer Science, 15529) - Image 1

£49.78

Springer Verification, Model Checking, and Abstract Interpretation: 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, ... (Lecture Notes in Computer Science, 15529)

Name: Verification, Model Checking, and Abstract Interpretation: 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, ... (Lecture Notes in Computer Science, 15529)
Brand: Springer
Price: 49.78 GBP
Availability: InStock

Architecture & Microprocessors

This is the most expensive it has ever been. Walk away.

£50 today · previous high £50 · all-time low £49

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

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
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 34 days · 34 data points (no recent data)

Historical

Generating forecast…

Price Distribution

Price distribution over 34 days • 1 price levels

Days at Price

Price Analysis

Most common price: £50 (34 days, 100.0%)

Price range: £50 - £50

Price levels: 1 different prices over 34 days

Product Specifications

Brand: Springer
Format: paperback
ASIN: 303182699X
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 24 January 2025
Listed Since: 04 December 2024

Barcode

No barcode data available

Springer Verification, Model Checking, and Abstract Interpretation: 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, ... (Lecture Notes in Computer Science, 15529)

This is the most expensive it has ever been. Walk away.

Price History & Forecast

Price Distribution

Price Analysis

Product Specifications

Barcode

Similar Products You Might Like

Advanced Intelligent Computing Technology and Applications: 21st International Conference, ICIC 2025, Ningbo, China, July 26–29, 2025, Proceedings, ... (Lecture Notes in Computer Science, 15869)

Advanced Intelligent Computing Technology and Applications: 21st International Conference, ICIC 2025, Ningbo, China, July 26–29, 2025, Proceedings, ... (Lecture Notes in Computer Science, 15862)

Verification and Evaluation of Computer and Communication Systems: 17th International Conference, VECoS 2024, Djerba, Tunisia, October 16–18, 2024, ... (Lecture Notes in Computer Science, 15466)

Advanced Intelligent Computing Technology and Applications: 21st International Conference, ICIC 2025, Ningbo, China, July 26–29, 2025, Proceedings, ... (Lecture Notes in Computer Science, 15866)

Advanced Intelligent Computing Technology and Applications: 21st International Conference, ICIC 2025, Ningbo, China, July 26–29, 2025, Proceedings, ... (Lecture Notes in Computer Science, 15867)

Medical Image Computing and Computer Assisted Intervention – MICCAI 2025: 28th International Conference, Daejeon, South Korea, September 23–27, 2025, ... XV (Lecture Notes in Computer Science, 15974)

Advanced Intelligent Computing Technology and Applications: 21st International Conference, ICIC 2025, Ningbo, China, July 26–29, 2025, Proceedings, ... (Lecture Notes in Computer Science, 15851)

Advanced Intelligent Computing Technology and Applications: 21st International Conference, ICIC 2025, Ningbo, China, July 26–29, 2025, Proceedings, ... (Lecture Notes in Computer Science, 15854)

Universal Access in Human-Computer Interaction: 19th International Conference, UAHCI 2025, Held as Part of the 27th HCI International Conference, HCII ... (Lecture Notes in Computer Science, 15780)

Multi-disciplinary Trends in Artificial Intelligence: 18th International Conference, MIWAI 2025, Ho Chi Minh City, Vietnam, December 3–5, 2025, ... (Lecture Notes in Computer Science, 16355)

Advances in Cryptology – CRYPTO 2025: 45th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 17–21, 2025, Proceedings, Part ... (Lecture Notes in Computer Science, 16006)

Public-Key Cryptography – PKC 2025: 28th IACR International Conference on Practice and Theory of Public-Key Cryptography, Røros, Norway, May 12–15, ... (Lecture Notes in Computer Science, 15675)

Engineering of Complex Computer Systems: 29th International Conference, ICECCS 2025, Hangzhou, China, July 2–4, 2025, Proceedings: 15746 (Lecture Notes in Computer Science, 15746)

Cross-Cultural Design: 17th International Conference, CCD 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, ... (Lecture Notes in Computer Science, 15782)

Social Computing and Social Media: 15th International Conference, SCSM 2023, Held as Part of the 25th HCI International Conference, HCII 2023, ... (Lecture Notes in Computer Science, 14025)

Applied Cryptography and Network Security: 23rd International Conference, ACNS 2025, Munich, Germany, June 23–26, 2025, Proceedings, Part II: 15826 (Lecture Notes in Computer Science, 15826)

Wireless Artificial Intelligent Computing Systems and Applications: 19th International Conference, WASA 2025, Tokyo, Japan, June 24–26, 2025, ... (Lecture Notes in Computer Science, 15688)

Public-Key Cryptography – PKC 2026: 29th IACR International Conference on Practice and Theory of Public-Key Cryptography, West Palm Beach, FL, USA, ... IV (Lecture Notes in Computer Science, 16554)

Adaptive Instructional Systems: 7th International Conference, AIS 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, ... (Lecture Notes in Computer Science, 15813)

Medical Image Computing and Computer Assisted Intervention – MICCAI 2023: 26th International Conference, Vancouver, BC, Canada, October 8–12, 2023, ... (Lecture Notes in Computer Science, 14228)

Multi-disciplinary Trends in Artificial Intelligence: 18th International Conference, MIWAI 2025, Ho Chi Minh City, Vietnam, December 3–5, 2025, ... II (Lecture Notes in Computer Science, 16354)

Medical Image Computing and Computer Assisted Intervention – MICCAI 2023: 26th International Conference, Vancouver, BC, Canada, October 8–12, 2023, ... (Lecture Notes in Computer Science, 14221)

Algorithms and Architectures for Parallel Processing: 25th International Conference, ICA3PP 2025, Zhengzhou, China, October 30–November 2, 2025, ... (Lecture Notes in Computer Science, 16384)

Algorithms and Architectures for Parallel Processing: 25th International Conference, ICA3PP 2025, Zhengzhou, China, October 30–November 2, 2025, ... (Lecture Notes in Computer Science, 16382)