£83.60

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

£84 today · previous high £84 · all-time low £83

Springer Challenges of Software Verification: 238 (Intelligent Systems Reference Library, 238)

Amazon

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 50 days · 50 data points (no recent data)

Historical
Generating forecast…
£83.60 £83.25 £83.32 £83.40 £83.48 £83.56 £83.63 25 July 2026 06 August 2026 18 August 2026 30 August 2026 12 September 2026
View at Amazon ↗

Price data last checked 41 day(s) ago - refreshing...

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 50 days • 1 price levels

Days at Price
50 days 0 13 25 38 50 £83 Days at Price

Price Analysis

Most common price: £83 (50 days, 100.0%)

Price range: £83 - £83

Price levels: 1 different prices over 50 days

Description

This book provides an overview about the open challenges in software verification. Software verification is a branch of software engineering aiming at guaranteeing that software applications satisfy some requirements of interest. Over the years, the software verification community has proposed and considered several techniques: abstract interpretation, data-flow analysis, type systems, model checking are just a few examples. The theoretical advances have been always motivated by practical challenges that have led to an equal evolution of both these sides of software verification. Indeed, several verification tools have been proposed by the research community and any software application, in order to guarantee that certain software requirements are met, needs to integrate a verification phase in its life cycle, independently of the context of application or software size. This book is aimed at collecting contributions discussing recent advances in facing open challenges in software verification, relying on a broad spectrum of verification techniques. This book collects contributions ranging from theoretical to practical arguments, and it is aimed at both researchers in software verification and their practitioners.

Product Specifications

Format
hardcover
Domain
Amazon UK
Release Date
25 July 2023
Listed Since
06 December 2022

Barcode

No barcode data available

Similar Products You Might Like

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

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

Springer

£43.75 24 Sep 2026
Automated Technology for Verification and Analysis: 23rd International Symposium, ATVA 2025, Bengaluru, India, October 27–31, 2025, Proceedings (Lecture Notes in Computer Science, 16145)
97% match

Automated Technology for Verification and Analysis: 23rd International Symposium, ATVA 2025, Bengaluru, India, October 27–31, 2025, Proceedings (Lecture Notes in Computer Science, 16145)

Springer

£60.30 08 Oct 2026
Software Verification and Validation for Practitioners and Managers, Second Edition
97% match

Software Verification and Validation for Practitioners and Managers, Second Edition

Artech House

£73.00 25 Sep 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: 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)
97% match

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)

Springer

£45.16 29 Sep 2026
Security Compliance in Model-driven Development of Software Systems in Presence of Long-Term Evolution and Variants
96% match

Security Compliance in Model-driven Development of Software Systems in Presence of Long-Term Evolution and Variants

Springer

£68.51 29 Sep 2026
New Perspectives in Software Engineering: 1135 (Studies in Computational Intelligence, 1135)
96% match

New Perspectives in Software Engineering: 1135 (Studies in Computational Intelligence, 1135)

Springer

£101.93 11 Sep 2026
New Perspectives in Software Engineering: 1135 (Studies in Computational Intelligence, 1135)
96% match

New Perspectives in Software Engineering: 1135 (Studies in Computational Intelligence, 1135)

Springer

£161.42 30 Sep 2026
Vision, Sensing and Analytics: Integrative Approaches: 207 (Intelligent Systems Reference Library, 207)
96% match

Vision, Sensing and Analytics: Integrative Approaches: 207 (Intelligent Systems Reference Library, 207)

Springer

£132.21 11 Aug 2026
Cognitive Techniques in Visual Data Interpretation: 228 (Studies in Computational Intelligence, 228)
96% match

Cognitive Techniques in Visual Data Interpretation: 228 (Studies in Computational Intelligence, 228)

Springer

£73.96 11 Sep 2026
New Technology for Inclusive and Sustainable Growth: Perception, Challenges and Opportunities: 287 (Smart Innovation, Systems and Technologies, 287)
96% match

New Technology for Inclusive and Sustainable Growth: Perception, Challenges and Opportunities: 287 (Smart Innovation, Systems and Technologies, 287)

Springer

£83.89 24 Sep 2026
New Technology for Inclusive and Sustainable Growth: Perception, Challenges and Opportunities: 287 (Smart Innovation, Systems and Technologies, 287)
96% match

New Technology for Inclusive and Sustainable Growth: Perception, Challenges and Opportunities: 287 (Smart Innovation, Systems and Technologies, 287)

Springer

£128.11 17 Sep 2026
Software Engineering and Management: Theory and Applications: Volume 18 (Studies in Computational Intelligence, 1239)
96% match

Software Engineering and Management: Theory and Applications: Volume 18 (Studies in Computational Intelligence, 1239)

Springer

£139.53 25 Sep 2026
Scientific Discovery in the Social Sciences: 413 (Synthese Library, 413)
96% match

Scientific Discovery in the Social Sciences: 413 (Synthese Library, 413)

Springer

£81.90 25 Sep 2026
Scientific Discovery in the Social Sciences: 413 (Synthese Library, 413)
96% match

Scientific Discovery in the Social Sciences: 413 (Synthese Library, 413)

Springer

£79.59 25 Sep 2026
Engineering and Value Change: 48 (Philosophy of Engineering and Technology, 48)
96% match

Engineering and Value Change: 48 (Philosophy of Engineering and Technology, 48)

Springer

£72.62 10 Oct 2026
Fifty Years of Women in Mathematics: Reminiscences, History, and Visions for the Future of AWM: 28 (Association for Women in Mathematics Series, 28)
96% match

Fifty Years of Women in Mathematics: Reminiscences, History, and Visions for the Future of AWM: 28 (Association for Women in Mathematics Series, 28)

Springer

£77.49 24 Sep 2026
Thought Experiments, Models and Scientific Explanation (European Studies in Philosophy of Science, 14)
96% match

Thought Experiments, Models and Scientific Explanation (European Studies in Philosophy of Science, 14)

Springer

£103.77 30 Sep 2026
Contemporary Mathematical Thinking: 474 (Synthese Library, 474)
96% match

Contemporary Mathematical Thinking: 474 (Synthese Library, 474)

Springer

£94.39 09 Sep 2026
Towards Green Chemical Processes: Strategies and Innovations: 277 (Intelligent Systems Reference Library, 277)
96% match

Towards Green Chemical Processes: Strategies and Innovations: 277 (Intelligent Systems Reference Library, 277)

Springer

£99.00 25 Sep 2026
The Vulnerability of the Human World: Well-being, Health, Technology and the Environment: 148 (Philosophy and Medicine, 148)
96% match

The Vulnerability of the Human World: Well-being, Health, Technology and the Environment: 148 (Philosophy and Medicine, 148)

Springer

£67.35 08 Oct 2026
Artificial Intelligence for Societal Issues - Springer Book 231
96% match

Artificial Intelligence for Societal Issues - Springer Book 231

Springer

£128.30 02 Oct 2026
Vulnerabilities: Rethinking Medicine Rights and Humanities in Post-pandemic: 18 (Integrated Science, 18)
96% match

Vulnerabilities: Rethinking Medicine Rights and Humanities in Post-pandemic: 18 (Integrated Science, 18)

Springer

£92.22 15 Oct 2026
Vulnerabilities: Rethinking Medicine Rights and Humanities in Post-pandemic: 18 (Integrated Science, 18)
96% match

Vulnerabilities: Rethinking Medicine Rights and Humanities in Post-pandemic: 18 (Integrated Science, 18)

Springer

£67.35 15 Oct 2026