£46.71

Springer Concise Guide to Software Verification: From Model Checking to Annotation Checking (Texts in Computer Science)

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

View at Amazon

Price History & Forecast

Last 43 days • 43 data points (No recent data available)

Historical
Generating forecast...
£46.71 £19.14 £25.16 £31.17 £37.19 £43.20 £49.22 26 January 2026 05 February 2026 16 February 2026 26 February 2026 09 March 2026

Price Distribution

Price distribution over 43 days • 5 price levels

Days at Price
Current Price
9 days 8 days 7 days 4 days 15 days · current 0 4 8 11 15 £22 £27 £30 £30 £47 Days at Price

Price Analysis

Most common price: £47 (15 days, 34.9%)

Price range: £22 - £47

Price levels: 5 different prices over 43 days

Product Specifications

Format
Paperback
Domain
Amazon UK
Release Date
26 July 2024
Listed Since
27 July 2024

Barcode

No barcode data available

Similar Products You Might Like

A Guide to Software Quality Engineering
93% match

A Guide to Software Quality Engineering

Auerbach Publications

£42.73 07 Mar 2026
Rigorous Software Development: An Introduction to Program Verification (Undergraduate Topics in Computer Science)
92% match

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

Springer

£87.29 09 Mar 2026
Konforme Abbildung
92% match

Konforme Abbildung

Springer

£46.61 07 Mar 2026
Machine Learning Contests: A Guidebook
92% match

Machine Learning Contests: A Guidebook

Springer

£45.45 07 Mar 2026
Grundlagenforschung für vertrauenswürdige Software
91% match

Grundlagenforschung für vertrauenswürdige Software

Springer

£88.30 27 Feb 2026
Software Engineering and Data Science
91% match

Software Engineering and Data Science

£45.73 07 Mar 2026
Stochastic Models for Fault Tolerance: Restart, Rejuvenation and Checkpointing
91% match

Stochastic Models for Fault Tolerance: Restart, Rejuvenation and Checkpointing

Springer

£40.68 24 Feb 2026
Raising the Acceptance of Rank Reversing Redistributions: The Role of Need Considerations
91% match

Raising the Acceptance of Rank Reversing Redistributions: The Role of Need Considerations

Springer VS

£19.19 08 Mar 2026
Vector Analysis for Computer Graphics
91% match

Vector Analysis for Computer Graphics

Springer

£39.02 07 Mar 2026
Using Sophisticated Models in Resolution Theorem Proving: 90 (Lecture Notes in Computer Science, 90)
91% match

Using Sophisticated Models in Resolution Theorem Proving: 90 (Lecture Notes in Computer Science, 90)

Springer

£44.78 07 Mar 2026
Actuarial Pension Funding Theory (Springer Actuarial)
91% match

Actuarial Pension Funding Theory (Springer Actuarial)

Springer

£46.55 28 Feb 2026
Software Verification and Validation for Practitioners and Managers, Second Edition
91% match

Software Verification and Validation for Practitioners and Managers, Second Edition

Artech House

£73.00 11 Mar 2026
Challenges of Software Verification: 238 (Intelligent Systems Reference Library, 238)
91% match

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

Springer

£97.00 25 Feb 2026
Die Wissenschaft des Subjekts
91% match

Die Wissenschaft des Subjekts

Springer VS

£44.87 07 Mar 2026
A Practical Theory of Programming (Monographs in Computer Science)
91% match

A Practical Theory of Programming (Monographs in Computer Science)

Springer

£41.54 07 Mar 2026
The Discursive Interview: Method and Methodological Foundation (Qualitative Sozialforschung)
91% match

The Discursive Interview: Method and Methodological Foundation (Qualitative Sozialforschung)

Springer

£39.98 07 Mar 2026
Essentials of Python for Artificial Intelligence and Machine Learning (Synthesis Lectures on Engineering, Science, and Technology)
91% match

Essentials of Python for Artificial Intelligence and Machine Learning (Synthesis Lectures on Engineering, Science, and Technology)

Springer

£45.32 07 Feb 2026
Computing in Intelligent Transportation Systems (EAI/Springer Innovations in Communication and Computing)
91% match

Computing in Intelligent Transportation Systems (EAI/Springer Innovations in Communication and Computing)

£44.28 13 Jan 2026
Introduction to Applications of Modular Forms: Computational Aspects (Synthesis Lectures on Mathematics & Statistics)
91% match

Introduction to Applications of Modular Forms: Computational Aspects (Synthesis Lectures on Mathematics & Statistics)

£49.59 12 Jan 2026
Achieving Quality Software: Including Its Application to Safety-Related Systems
90% match

Achieving Quality Software: Including Its Application to Safety-Related Systems

Springer

£80.56 26 Feb 2026
Programming with Python for Engineers
90% match

Programming with Python for Engineers

Springer

£49.99 07 Mar 2026
Applied Stochastic Control of Jump Diffusions (Universitext)
90% match

Applied Stochastic Control of Jump Diffusions (Universitext)

Springer

£44.25 19 Feb 2026
Complexity Theory for Social Work Practice
90% match

Complexity Theory for Social Work Practice

Springer

£49.98 26 Feb 2026
Complex Analysis
90% match

Complex Analysis

Springer

£46.40 13 Apr 2026