£45.16

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

£45 today · previous high £45 · all-time low £44

Springer Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, ... (Lecture Notes in Computer Science, 13124)

Amazon

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…
£45.16 £44.06 £44.30 £44.54 £44.78 £45.02 £45.26 26 July 2026 11 August 2026 27 August 2026 12 September 2026 29 September 2026
View at Amazon ↗

Price data last checked 25 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
↑ Forecast
where the price is heading next
↓ Statistics
all-time high & low, recent range
↑ Price alert
name your number, we'll email you

Price Distribution

Price distribution over 66 days • 2 price levels

Days at Price
Current Price
50 days 16 days · current 0 13 25 38 50 £44 £45 Days at Price

Price Analysis

Most common price: £44 (50 days, 75.8%)

Price range: £44 - £45

Price levels: 2 different prices over 66 days

Description

This book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14th International Workshop on Numerical Software Verification, NSV 2021, held online, in July/ October 2021. Due to COVID-19 pandemic the conference was held virtually. There were 10 papers presented in this volume were carefully reviewed and selected from 20 submissions. The papers focuses on challenges of the verification of cyber-physical systems with machine learning components and making large-scale verified software a practical reality and much more.

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
22 February 2022
Listed Since
22 December 2021

Barcode

No barcode data available

Similar Products You Might Like

Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected ... (Lecture Notes in Computer Science, 10712)
97% match

Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected ... (Lecture Notes in Computer Science, 10712)

Springer

£19.90 01 Oct 2026
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, ... (Lecture Notes in Computer Science, 13701)
97% match

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, ... (Lecture Notes in Computer Science, 13701)

Springer

£64.56 19 Sep 2026
Software Verification and Validation for Practitioners and Managers
96% match

Software Verification and Validation for Practitioners and Managers

Artech House

£60.05 01 Oct 2026
Engineering Trustworthy Software Systems: 6th International School, SETSS 2024, Chongqing, China, April 14–21, 2024, Tutorial Lectures: 15584 (Lecture Notes in Computer Science, 15584)
96% match

Engineering Trustworthy Software Systems: 6th International School, SETSS 2024, Chongqing, China, April 14–21, 2024, Tutorial Lectures: 15584 (Lecture Notes in Computer Science, 15584)

Springer

£39.28 01 Oct 2026
Rigorous Software Development: An Introduction to Program Verification (Undergraduate Topics in Computer Science)
96% match

Rigorous Software Development: An Introduction to Program Verification (Undergraduate Topics in Computer Science)

Springer

£43.75 24 Sep 2026
Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, ... (Lecture Notes in Computer Science, 14500)
96% match

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

Springer

£55.72 24 Sep 2026
Software Engineering: Emerging Trends and Practices in System Development: Proceedings of 14th Computer Science On-line Conference 2025, Volume 3: 1560 (Lecture Notes in Networks and Systems, 1560)
95% match

Software Engineering: Emerging Trends and Practices in System Development: Proceedings of 14th Computer Science On-line Conference 2025, Volume 3: 1560 (Lecture Notes in Networks and Systems, 1560)

Springer

£162.29 18 Sep 2026
Software Engineering: Emerging Trends and Practices in System Development: Proceedings of 14th Computer Science On-line Conference 2025, Volume 1: 1558 (Lecture Notes in Networks and Systems, 1558)
95% match

Software Engineering: Emerging Trends and Practices in System Development: Proceedings of 14th Computer Science On-line Conference 2025, Volume 1: 1558 (Lecture Notes in Networks and Systems, 1558)

Springer

£153.91 30 Sep 2026
Testing Software and Systems: 37th IFIP WG 6.1 International Conference, ICTSS 2025, Limassol, Cyprus, September 17–19, 2025, Proceedings: 16107 (Lecture Notes in Computer Science, 16107)
95% match

Testing Software and Systems: 37th IFIP WG 6.1 International Conference, ICTSS 2025, Limassol, Cyprus, September 17–19, 2025, Proceedings: 16107 (Lecture Notes in Computer Science, 16107)

Springer

£92.21 25 Sep 2026
Software Certification
95% match

Software Certification

Springer

£116.79 30 Sep 2026
Achieving Quality in Software: Proceedings of the third international conference on achieving quality in software, 1996 (IFIP Advances in Information and Communication Technology)
95% match

Achieving Quality in Software: Proceedings of the third international conference on achieving quality in software, 1996 (IFIP Advances in Information and Communication Technology)

Springer

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

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

Springer

£62.15 19 Sep 2026
Professional Verification: A Guide to Advanced Functional Verification
95% match

Professional Verification: A Guide to Advanced Functional Verification

Springer

£75.68 03 Oct 2026
Runtime Verification: 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings: 8174 (Lecture Notes in Computer Science, 8174)
95% match

Runtime Verification: 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings: 8174 (Lecture Notes in Computer Science, 8174)

Springer

£41.43 02 Oct 2026
Model Checking Software: 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings: 13255 (Lecture Notes in Computer Science, 13255)
95% match

Model Checking Software: 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings: 13255 (Lecture Notes in Computer Science, 13255)

Springer

£71.18 21 Sep 2026
Dependable Software Engineering. Theories, Tools, and Applications: 11th International Symposium on Dependable Software Engineering: Theories, Tools, ... (Lecture Notes in Computer Science, 16458)
95% match

Dependable Software Engineering. Theories, Tools, and Applications: 11th International Symposium on Dependable Software Engineering: Theories, Tools, ... (Lecture Notes in Computer Science, 16458)

Springer

£57.09 30 Sep 2026