Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, ... (Lecture Notes in Computer Science, 14500) - Image 1

£60.15

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)

Name: Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, ... (Lecture Notes in Computer Science, 14500)
Brand: Springer
Price: 59.95 GBP
Availability: InStock

Architecture & Microprocessors

Price History & Forecast

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

Historical

Generating forecast...

Price Distribution

Price distribution over 44 days • 1 price levels

Days at Price

Price Analysis

Most common price: £60 (44 days, 100.0%)

Price range: £60 - £60

Price levels: 1 different prices over 44 days

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

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

Price Distribution

Price Analysis

Product Specifications

Barcode

Similar Products You Might Like

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

Augmented Cognition: 18th International Conference, AC 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, ... (Lecture Notes in Computer Science, 14694)

Advanced Intelligent Computing Technology and Applications: 20th International Conference, ICIC 2024, Tianjin, China, August 5–8, 2024, Proceedings, ... (Lecture Notes in Computer Science, 14865)

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)

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

Social Computing and Social Media: 16th International Conference, SCSM 2024, Held as Part of the 26th HCI International Conference, HCII 2024, ... (Lecture Notes in Computer Science, 14704)

Augmented Cognition: 18th International Conference, AC 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, ... (Lecture Notes in Computer Science, 14695)

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)

Applied Cryptography and Network Security: 22nd International Conference, ACNS 2024, Abu Dhabi, United Arab Emirates, March 5–8, 2024, Proceedings, ... (Lecture Notes in Computer Science, 14585)

Advanced Intelligent Computing Technology and Applications: 20th International Conference, ICIC 2024, Tianjin, China, August 5–8, 2024, Proceedings, ... (Lecture Notes in Computer Science, 14876)

Artificial Intelligence in HCI: 5th International Conference, AI-HCI 2024, Held as Part of the 26th HCI International Conference, HCII 2024, ... (Lecture Notes in Computer Science, 14734)

Social Computing and Social Media: 16th International Conference, SCSM 2024, Held as Part of the 26th HCI International Conference, HCII 2024, ... (Lecture Notes in Computer Science, 14705)

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

Advanced Intelligent Computing Technology and Applications: 20th International Conference, ICIC 2024, Tianjin, China, August 5–8, 2024, Proceedings, ... (Lecture Notes in Computer Science, 14874)

Applied Cryptography and Network Security: 22nd International Conference, ACNS 2024, Abu Dhabi, United Arab Emirates, March 5–8, 2024, Proceedings, ... (Lecture Notes in Computer Science, 14583)

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

Advanced Intelligent Computing Technology and Applications: 20th International Conference, ICIC 2024, Tianjin, China, August 5–8, 2024, Proceedings, ... (Lecture Notes in Computer Science, 14878)

Cross-Cultural Design: 16th International Conference, CCD 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, ... (Lecture Notes in Computer Science, 14700)

Universal Access in Human-Computer Interaction: 18th International Conference, UAHCI 2024, Held as Part of the 26th HCI International Conference, HCII ... (Lecture Notes in Computer Science, 14698)

Advanced Intelligent Computing Technology and Applications: 20th International Conference, ICIC 2024, Tianjin, China, August 5–8, 2024, Proceedings, ... (Lecture Notes in Computer Science, 14867)

Artificial Intelligence in HCI: 5th International Conference, AI-HCI 2024, Held as Part of the 26th HCI International Conference, HCII 2024, ... (Lecture Notes in Computer Science, 14735)

Universal Access in Human-Computer Interaction: 18th International Conference, UAHCI 2024, Held as Part of the 26th HCI International Conference, HCII ... (Lecture Notes in Computer Science, 14696)

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, 15848)