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) - Image 1

£108.01

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

Name: 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)
Brand: Springer
Price: 108.01 GBP
Availability: InStock

Architecture & Microprocessors

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

£108 today · previous high £108 · all-time low £108

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

Historical

Generating forecast…

Price Distribution

Price distribution over 66 days • 1 price levels

Days at Price

Price Analysis

Most common price: £108 (66 days, 100.0%)

Price range: £108 - £108

Price levels: 1 different prices over 66 days

Description

The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024, held in Kyoto, Japan, from October 21 - 25, 2024. The 24 full papers presented in this volume were carefully reviewed and selected from 73 submissions. The topics presented in these volumes are organized in the following topical sections: Part I: Invited Keynote and Tutorial Papers; Automata and Games; Concurrent and Distributed Systems; Learning for Verification and Synthesis. Part II: Synthesis and Runtime Verification; Software Verification and Programming Language Semantics; Automated Reasoning and Verification.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3031787498
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 12 February 2025
Listed Since: 23 October 2024

Barcode

No barcode data available

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

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

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

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)

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

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)

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)

Foundations and Practice of Security: 17th International Symposium, FPS 2024, Montréal, QC, Canada, December 9–11, 2024, Revised Selected Papers, Part ... (Lecture Notes in Computer Science, 15533)

Theory of Cryptography: 22nd International Conference, TCC 2024, Milan, Italy, December 2–6, 2024, Proceedings, Part III: 15366 (Lecture Notes in Computer Science, 15366)

Bioinformatics Research and Applications: 20th International Symposium, ISBRA 2024, Kunming, China, July 19–21, 2024, Proceedings, Part II: 14955 (Lecture Notes in Computer Science, 14955)

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

Advances in Information Retrieval: 47th European Conference on Information Retrieval, ECIR 2025, Lucca, Italy, April 6–10, 2025, Proceedings, Part IV: 15575 (Lecture Notes in Computer Science, 15575)

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)

Information Security and Cryptology: 20th International Conference, Inscrypt 2024, Kunming, China, December 14–16, 2024, Revised Selected Papers, Part ... (Lecture Notes in Computer Science, 15544)

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

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

Advances in Information Retrieval: 47th European Conference on Information Retrieval, ECIR 2025, Lucca, Italy, April 6–10, 2025, Proceedings, Part I: 15572 (Lecture Notes in Computer Science, 15572)

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

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

KI 2024: Advances in Artificial Intelligence: 47th German Conference on AI, Würzburg, Germany, September 25–27, 2024, Proceedings: 14992 (Lecture Notes in Computer Science, 14992)

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

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

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

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

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

Parallel and Distributed Computing, Applications and Technologies: 25th International Conference, PDCAT 2024, Hong Kong, China, December 13–15, 2024, ... (Lecture Notes in Computer Science, 15502)

Document Analysis Systems: 16th IAPR International Workshop, DAS 2024, Athens, Greece, August 30–31, 2024, Proceedings: 14994 (Lecture Notes in Computer Science, 14994)