We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£60.30
It has never been this cheap. We have no record of a lower price.
£60 today · cheaper than every other day in the last 3 months
Springer Automated Technology for Verification and Analysis: 23rd International Symposium, ATVA 2025, Bengaluru, India, October 27–31, 2025, Proceedings (Lecture Notes in Computer Science, 16145)
Price data last checked 16 day(s) ago - will refresh soon
We'll watch every seller, every day. One email when your price arrives.
Price History & Forecast
Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.
Last 75 days · 75 data points (no recent data)
Historical
Generating forecast…
Price data last checked 16 day(s) ago - will refresh soon
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
when this has been cheap or pricey
↑ Forecast
where the price is heading next
where the price is heading next
↓ Statistics
all-time high & low, recent range
all-time high & low, recent range
↑ Price alert
name your number, we'll email you
name your number, we'll email you
Price Distribution
Price distribution over 75 days • 4 price levels
Current Price
Price Analysis
Most common price: £66 (32 days, 42.7%)
Price range: £60 - £68
Price levels: 4 different prices over 75 days
Description
This book constitutes the refereed proceedings of the 23rd International Symposium on Automated Technology for Verification and Analysis, ATVA 2025, held in Bengaluru, India, from October 27–31, 2025. The 17 full papers and 4 short papers included in the proceedings were carefully reviewed and selected from 59 submissions. They were organized in topical sections as follows: Automata and temporal logic; games and controller synthesis; monitoring and runtime verification; probabilistic verification and quantum computing; learning; hybrid and dynamical systems; and verification.
Product Specifications
- Brand
- Springer
- Format
- paperback
- ASIN
- 3032087066
- Category
- Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
- Domain
- Amazon UK
- Release Date
- 26 October 2025
- Listed Since
- 09 September 2025
Barcode
No barcode data available
Similar Products You Might Like
97% match
Graph-Theoretic Concepts in Computer Science: 51st International Workshop, WG 2025, Otzenhausen, Germany, June 11–13, 2025, Revised Selected Papers (Lecture Notes in Computer Science, 16124)
Springer
£87.00
08 Oct 2026
97% match
Software Engineering and Advanced Applications: 51st Euromicro Conference, SEAA 2025, Salerno, Italy, September 10–12, 2025, Proceedings, Part I (Lecture Notes in Computer Science, 16081)
Springer
£65.41
07 Oct 2026
97% match
Advances in Intelligent Systems and Digital Applications: Proceedings of ISDA 2025, Volume 2: 1486 (Lecture Notes in Networks and Systems, 1486)
Springer
£193.20
05 Oct 2026
97% match
Computational Science and Its Applications – ICCSA 2024 Workshops: Hanoi, Vietnam, July 1–4, 2024, Proceedings, Part XI: 14825 (Lecture Notes in Computer Science, 14825)
Springer
£149.99
04 Oct 2026
97% match
Dependable Software Engineering. Theories, Tools, and Applications: 9th International Symposium, SETTA 2023, Nanjing, China, November 27–29, 2023, ... (Lecture Notes in Computer Science, 14464)
Springer
£61.07
05 Oct 2026
97% match
Computer Applications: 38th CCF Conference of Computer Applications, CCF NCCA 2023, Suzhou, China, July 16–20, 2023, Proceedings, Part I: 1959 ... in Computer and Information Science, 1959)
Springer
£56.88
08 Oct 2026
97% match
Programming Languages and Systems: 23rd Asian Symposium, APLAS 2025, Bengaluru, India, October 27–30, 2025, Proceedings (Lecture Notes in Computer Science, 16201)
Springer
£57.09
06 Sep 2026
97% match
Artificial Intelligence Based Smart and Secured Applications: 4th International Conference, ASCIS 2025, Gujarat, India, September 11–13, 2025, Revised ... in Computer and Information Science, 2822)
Springer
£68.52
06 Oct 2026
97% match
Risks and Resilience of Collaborative Networks: 16th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2015, Albi, France,, October 5-7, ... and Communication Technology, 463)
Springer
£77.49
06 Oct 2026
97% match
Semigroups, Categories, Partial Algebras - ICSAA 2019
Springer
£108.01
04 Oct 2026
97% match
E-Business. New Challenges and Opportunities for Digital-Enabled Intelligent Future: 23rd Wuhan International Conference, WHICEB 2024, Wuhan, China, ... in Business Information Processing, 515)
Springer
£115.99
05 Oct 2026
97% match
Technology: Toward Business Sustainability: Proceedings of the International Conference on Business and Technology (ICBT2023), Volume 4: 927 (Lecture Notes in Networks and Systems, 927)
Springer
£128.36
08 Oct 2026
97% match
Intelligent Information and Database Systems: 17th Asian Conference, ACIIDS 2025, Kitakyushu, Japan, April 23-25, 2025, Proceedings, Part II: 15684 (Lecture Notes in Computer Science, 15684)
Springer
£42.20
05 Oct 2026
97% match
Proceedings of The Fifth France's International Conference on Complex Systems (FRCCS 2025): Advances in Complex Systems Science, Machine Learning, and ... in Systems, Decision and Control, 615)
Springer
£162.87
05 Oct 2026
97% match
Advances in Computer Science and Ubiquitous Computing: Proceedings of CSA 2024: 1416 (Lecture Notes in Electrical Engineering, 1416)
Springer
£153.27
04 Oct 2026
97% match
Artificial Intelligence Applications and Innovations: 18th IFIP WG 12.5 International Conference, AIAI 2022, Hersonissos, Crete, Greece, June 17–20, ... and Communication Technology, 647)
Springer
£91.69
06 Oct 2026
97% match
Testing Software and Systems: 33rd IFIP WG 6.1 International Conference, ICTSS 2021, London, UK, November 10–12, 2021, Proceedings: 13045 (Lecture Notes in Computer Science, 13045)
Springer
£68.52
06 Oct 2026
97% match
ICT for Intelligent Systems: Proceedings of ICTIS 2025, Volume 10: 1510 (Lecture Notes in Networks and Systems, 1510)
Springer
£178.64
04 Oct 2026
97% match
Digital Technologies and Applications: Proceedings of ICDTA'25, Ifrane, Morocco. Volume 3 (Lecture Notes in Networks and Systems, 1641)
Springer
£162.90
12 Aug 2026
97% match
ICT Analysis and Applications: Proceedings of ICT4SD 2025, Volume 8 (Lecture Notes in Networks and Systems, 1652)
Springer
£178.65
25 Aug 2026
97% match
Springer Math-for-Industry 2018 Forum Proceedings - Big Data, AI, Fintech
Springer
£110.56
07 Oct 2026
97% match
Advances in Engineering Research and Application ICERA 2024
Springer
£137.96
06 Oct 2026
97% match
Advanced Intelligent Computing Technology and Applications: 21st International Conference, ICIC 2025, Ningbo, China, July 26–29, 2025, Proceedings, ... in Computer and Information Science, 2568)
Springer
£68.52
11 Sep 2026
97% match
International Conference on Applied Technologies: 5th International Conference on Applied Technologies, ICAT 2023, Samborondon, Ecuador, November ... in Computer and Information Science, 2051)
Springer
£100.11
06 Oct 2026