Runtime Verification: 24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings: 15191 (Lecture Notes in Computer Science, 15191) - Image 1

£45.32

Springer Runtime Verification: 24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings: 15191 (Lecture Notes in Computer Science, 15191)

Name: Runtime Verification: 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings: 15191 (Lecture Notes in Computer Science, 15191)
Brand: Springer
Price: 45.32 GBP
Availability: InStock

AI & Machine Learning

About as cheap as it gets. The only time it was cheaper was 2 months ago.

£45 today · all-time low £45 (May 2026) · usually £45

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 69 days · 69 data points (no recent data)

Historical

Generating forecast…

Price Distribution

Price distribution over 69 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £45 (52 days, 75.4%)

Price range: £45 - £50

Price levels: 2 different prices over 69 days

Description

This book constitutes the refereed proceedings of the 24th International Conference on Runtime Verification, RV 2024, held in Istanbul, Turkey, during October 15-17, 2024. The 11 full papers, 5 short papers and 2 tool papers included in this book were carefully reviewed and selected from 31 submissions. They were organized in topical sections as follows: Invited Paper; Cyber-physical Systems; Temporal Logics; Speci cation and Visualization; Deep Neural Networks; and Distributed Systems.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3031742338
Category: Books > Subjects > Computing & Internet > Computer Science > AI & Machine Learning
Domain: Amazon UK
Release Date: 12 October 2024
Listed Since: 30 August 2024

Barcode

No barcode data available

Springer Runtime Verification: 24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings: 15191 (Lecture Notes in Computer Science, 15191)

About as cheap as it gets. The only time it was cheaper was 2 months ago.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Automated Technology for Verification and Analysis: 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part I: 15054 (Lecture Notes in Computer Science, 15054)

Algorithmic Decision Theory: 8th International Conference, ADT 2024, New Brunswick, NJ, USA, October 14–16, 2024, Proceedings: 15248 (Lecture Notes in Computer Science, 15248)

Automated Technology for Verification and Analysis: 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part II: 15055 (Lecture Notes in Computer Science, 15055)

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

Pattern Recognition and Computer Vision: 7th Chinese Conference, PRCV 2024, Urumqi, China, October 18–20, 2024, Proceedings, Part XV: 15045 (Lecture Notes in Computer Science, 15045)

Tests and Proofs: 18th International Conference, TAP 2024, Milan, Italy, September 9–10, 2024, Proceedings: 15153 (Lecture Notes in Computer Science, 15153)

Pattern Recognition and Computer Vision: 7th Chinese Conference, PRCV 2024, Urumqi, China, October 18–20, 2024, Proceedings, Part I: 15031 (Lecture Notes in Computer Science, 15031)

Pattern Recognition and Computer Vision: 7th Chinese Conference, PRCV 2024, Urumqi, China, October 18–20, 2024, Proceedings, Part IX: 15039 (Lecture Notes in Computer Science, 15039)

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)

Data Security and Privacy Protection: Second International Conference, DSPP 2024, Xi'an, China, October 25–28, 2024, Proceedings, Part I: 15215 (Lecture Notes in Computer Science, 15215)

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

Computer Vision – ECCV 2024: 18th European Conference, Milan, Italy, September 29–October 4, 2024, Proceedings, Part LXXXIII: 15141 (Lecture Notes in Computer Science, 15141)

Computer Vision – ECCV 2024: 18th European Conference, Milan, Italy, September 29–October 4, 2024, Proceedings, Part LXIII: 15121 (Lecture Notes in Computer Science, 15121)

Computer Vision – ECCV 2024: 18th European Conference, Milan, Italy, September 29–October 4, 2024, Proceedings, Part LVIII: 15116 (Lecture Notes in Computer Science, 15116)

Computer Vision – ECCV 2024: 18th European Conference, Milan, Italy, September 29–October 4, 2024, Proceedings, Part LXXXIX: 15147 (Lecture Notes in Computer Science, 15147)

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

Pattern Recognition and Computer Vision: 7th Chinese Conference, PRCV 2024, Urumqi, China, October 18–20, 2024, Proceedings, Part VIII: 15038 (Lecture Notes in Computer Science, 15038)

Pattern Recognition and Computer Vision: 7th Chinese Conference, PRCV 2024, Urumqi, China, October 18–20, 2024, Proceedings, Part V: 15035 (Lecture Notes in Computer Science, 15035)

Experimental IR Meets Multilinguality, Multimodality, and Interaction: 15th International Conference of the CLEF Association, CLEF 2024, Grenoble, ... (Lecture Notes in Computer Science, 14959)

Computer Vision – ECCV 2024: 18th European Conference, Milan, Italy, September 29–October 4, 2024, Proceedings, Part LXIX: 15127 (Lecture Notes in Computer Science, 15127)

Extended Reality: First International Conference, ICXR 2024, Xiamen, China, November 14–17, 2024, Proceedings: 15461 (Lecture Notes in Computer Science, 15461)

Detection of Intrusions and Malware, and Vulnerability Assessment: 21st International Conference, DIMVA 2024, Lausanne, Switzerland, July 17–19, 2024, ... (Lecture Notes in Computer Science, 14828)

Parallel Problem Solving from Nature – PPSN XVIII: 18th International Conference, PPSN 2024, Hagenberg, Austria, September 14–18, 2024, Proceedings, ... (Lecture Notes in Computer Science, 15150)

Electronic Government: 23rd IFIP WG 8.5 International Conference, EGOV 2024, Ghent-Leuven, Belgium, September 3–5, 2024, Proceedings: 14841 (Lecture Notes in Computer Science, 14841)