Verification, Model Checking, and Abstract Interpretation: 27th International Conference, VMCAI 2026, Rennes, France, January 12–13, 2026, Proceedings (Lecture Notes in Computer Science, 16417) - Image 1

£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)

Name: Verification, Model Checking, and Abstract Interpretation: 27th International Conference, VMCAI 2026, Rennes, France, January 12-13, 2026, Proceedings (Lecture Notes in Computer Science, 16417)
Brand: Springer
Price: 63.55 GBP
Availability: InStock

Architecture & Microprocessors

Price History & Forecast

Last 19 days • 19 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 19 days • 1 price levels

Days at Price

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

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 History & Forecast

Price Distribution

Price Analysis

Product Specifications

Barcode

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)

MultiMedia Modeling: 32nd International Conference on Multimedia Modeling, MMM 2026, Prague, Czech Republic, January 29–31, 2026, Proceedings, Part III (Lecture Notes in Computer Science, 16414)

Distributed Computing and Intelligent Technology: 22nd International Conference, ICDCIT 2026, Bhubaneswar, India, January 16–19, 2026, Proceedings (Lecture Notes in Computer Science, 16420)

Coordination Models and Languages: 26th IFIP WG 6.1 International Conference, COORDINATION 2024, Held as Part of the 19th International Federated ... (Lecture Notes in Computer Science, 14676)

Virtual, Augmented and Mixed Reality: 16th International Conference, VAMR 2024, Held as Part of the 26th HCI International Conference, HCII 2024, ... (Lecture Notes in Computer Science, 14707)

Unconventional Computation and Natural Computation: 22nd International Conference, UCNC 2025, Nice, France, September 1–5, 2025, Proceedings (Lecture Notes in Computer Science, 16364)

Virtual, Augmented and Mixed Reality: 16th International Conference, VAMR 2024, Held as Part of the 26th HCI International Conference, HCII 2024, ... (Lecture Notes in Computer Science, 14708)

Augmented Cognition: 16th International Conference, AC 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 ... (Lecture Notes in Computer Science, 13310)

Artificial Intelligence and Applications: 26th International Conference, ICAI 2024, Held as Part of the World Congress in Computer Science, Computer ... in Computer and Information Science, 2252)

Discovery Science: 26th International Conference, DS 2023, Porto, Portugal, October 9–11, 2023, Proceedings: 14276 (Lecture Notes in Computer Science, 14276)

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

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

Information and Communications Security: 26th International Conference, ICICS 2024, Mytilene, Greece, August 26–28, 2024, Proceedings, Part II: 15057 (Lecture Notes in Computer Science, 15057)

SOFSEM 2026: Theory and Practice of Computer Science: 51st International Conference on Current Trends in Theory and Practice of Computer Science, ... (Lecture Notes in Computer Science, 16448)

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

AI Verification: First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22–23, 2024, Proceedings: 14846 (Lecture Notes in Computer Science, 14846)

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

Virtual, Augmented and Mixed Reality: 16th International Conference, VAMR 2024, Held as Part of the 26th HCI International Conference, HCII 2024, ... (Lecture Notes in Computer Science, 14706)

Information Security: 26th International Conference, ISC 2023, Groningen, The Netherlands, November 15–17, 2023, Proceedings: 14411 (Lecture Notes in Computer Science, 14411)

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

Modeling, Simulation and Computer Technology: First International Conference, ICMSCT 2024, Skikda, Algeria, November 5–6, 2024, Proceedings: 2606 ... in Computer and Information Science, 2606)

Pattern Recognition: 27th International Conference, ICPR 2024, Kolkata, India, December 1–5, 2024, Proceedings, Part XVI: 15316 (Lecture Notes in Computer Science, 15316)

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

Artificial Neural Networks and Machine Learning – ICANN 2025: 34th International Conference on Artificial Neural Networks, Kaunas, Lithuania, ... (Lecture Notes in Computer Science, 16071)