£46.71

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

£47 today · previous high £47 · all-time low £46

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

Amazon

Price History & Forecast

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

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

Historical
Generating forecast…
£46.71 £45.95 £46.12 £46.28 £46.45 £46.61 £46.78 26 July 2026 10 August 2026 25 August 2026 09 September 2026 24 September 2026
View at Amazon ↗

Price data last checked 30 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 61 days • 2 price levels

Days at Price
Current Price
10 days 51 days · current 0 13 26 38 51 £46 £47 Days at Price

Price Analysis

Most common price: £47 (51 days, 83.6%)

Price range: £46 - £47

Price levels: 2 different prices over 61 days

Description

This textbook overviews the whole spectrum of formal methods and techniques that are aimed at verifying correctness of software, and how they can be used in practice. It focuses on techniques whereby the user has some control over the properties that are being checked. More specifically, it shows a wide range of techniques covering the whole spectrum: from abstract system design to implementation, from bug finding to full proofs, and from techniques that are push-button by design and give a yes/no answer to techniques that require the user to provide explicit guidance to steer the analysis process. Topics and features: Covers a broad spectrum of software verification techniques, from model checking to annotation checking Provides numerous examples to demonstrate the techniques Focuses on how techniques can be used (and the main ideas behind how they work), as opposed to how they are implemented Explainsstrengths and weaknesses of the techniques, providing insight into when to use which technique in practice This unique textbook has been written primarily for master’s level students in computer science studying embedded systems and specializing in software technology. The book will also be of interest for students studying cyber security and data science technology, as well as for system or software developers interested in techniques that offer formal guarantees about software.

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

Selection Tests in Number Theory for Mathematical Olympiads (Problem Books in Mathematics)
98% match

Selection Tests in Number Theory for Mathematical Olympiads (Problem Books in Mathematics)

Springer

£49.76 04 Sep 2026
An Interactive Tool for Refining Software Specifications from a Formal Domain Model
98% match

An Interactive Tool for Refining Software Specifications from a Formal Domain Model

BiblioScholar

£45.95 27 Sep 2026
Software and Critical Technology Protection against Side-Channel Analysis through Dynamic Hardware Obfuscation
98% match

Software and Critical Technology Protection against Side-Channel Analysis through Dynamic Hardware Obfuscation

BiblioScholar

£63.79 23 Sep 2026
The Discursive Interview: Method and Methodological Foundation (Qualitative Sozialforschung)
98% match

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

Springer

£39.77 23 Sep 2026
EU Product Compliance, Safety and Liability: A Best Practice Guide for the Automotive Sector
98% match

EU Product Compliance, Safety and Liability: A Best Practice Guide for the Automotive Sector

Beuth Verlag

Price unavailable
Softwarevalidierung in der Medizintechnik: Aspekte, Entscheidungskriterien, Regulationshintergründe
98% match

Softwarevalidierung in der Medizintechnik: Aspekte, Entscheidungskriterien, Regulationshintergründe

VDM Verlag

£42.00 01 Oct 2026
Computer Driven Battle Simulations: How to Integrate Them Into Reserve Component Training
98% match

Computer Driven Battle Simulations: How to Integrate Them Into Reserve Component Training

BiblioScholar

£45.95 26 Sep 2026
Predicting Software Development Cost for Command and Control Systems
98% match

Predicting Software Development Cost for Command and Control Systems

BiblioScholar

£45.95 28 Aug 2026
Collected Papers II: Function Theory, Algebraic Geometry and Miscellaneous (Springer Collected Works in Mathematics)
98% match

Collected Papers II: Function Theory, Algebraic Geometry and Miscellaneous (Springer Collected Works in Mathematics)

Springer

£49.00 01 Oct 2026
Students' Guide to Business Computing (The students' guide series)
98% match

Students' Guide to Business Computing (The students' guide series)

Butterworth-Heinemann

£43.99 01 Oct 2026
Introdução aos Computadores com Noções Básicas de Programação: Uma Abordagem para Principiantes
98% match

Introdução aos Computadores com Noções Básicas de Programação: Uma Abordagem para Principiantes

£46.99 30 Sep 2026
Step Up To AP® Textbook, Revised Edition
98% match

Step Up To AP® Textbook, Revised Edition

Cengage Learning

£44.99 23 Sep 2026
Reconstruction of Software Component Architectures and Behaviour Models using Static and Dynamic Analysis
98% match

Reconstruction of Software Component Architectures and Behaviour Models using Static and Dynamic Analysis

£44.00 27 Sep 2026
Graphics-Oriented Battlefield Tracking Systems: U.S. Army and Air Force Interoperability
98% match

Graphics-Oriented Battlefield Tracking Systems: U.S. Army and Air Force Interoperability

BiblioScholar

Price unavailable
Community-Based Corrections
98% match

Community-Based Corrections

Cengage Learning

£60.99 23 Sep 2026
Including a Critical Path Method of Project Management to Assist the Planning and Tracking of Stability Operations
98% match

Including a Critical Path Method of Project Management to Assist the Planning and Tracking of Stability Operations

BiblioScholar

Price unavailable
Heavy Equipment Repair Supervisor: Passbooks Study Guide (Career Examination, 2614)
98% match

Heavy Equipment Repair Supervisor: Passbooks Study Guide (Career Examination, 2614)

National Learning Corp

£47.99 02 Oct 2026
Wheat Breeding: Its scientific basis (Tertiary Level Biology)
98% match

Wheat Breeding: Its scientific basis (Tertiary Level Biology)

Springer

£42.02 18 Sep 2026
PSE Foundations/Connections Adv Ed
98% match

PSE Foundations/Connections Adv Ed

Brooks/Cole

£29.36 25 Sep 2026
Linear Algebra with Applications to Economics (Classroom Companion: Economics)
98% match

Linear Algebra with Applications to Economics (Classroom Companion: Economics)

Springer

£43.75 23 Sep 2026
Revolutionierung des privaten Sicherheitsdienstes: Strategische und moderne Veränderungen
98% match

Revolutionierung des privaten Sicherheitsdienstes: Strategische und moderne Veränderungen

£44.00 27 Sep 2026
Thematic Mapping From Satellite Imagery: A Guidebook
98% match

Thematic Mapping From Satellite Imagery: A Guidebook

£43.99 02 Oct 2026
MEDICAL LABORATORY TECHNOLOGY: A PRACTICAL GUIDE
98% match

MEDICAL LABORATORY TECHNOLOGY: A PRACTICAL GUIDE

notionpress.com

£43.20 13 Sep 2026
Tutoring English Tertiary Academic Writing in Non-Anglophone Contexts
98% match

Tutoring English Tertiary Academic Writing in Non-Anglophone Contexts

£46.00 25 Sep 2026