£75.68

It has never been this cheap. We have no record of a lower price.

£76 today · cheaper than every other day in the last 3 months

Springer Formal Methods: State of the Art and New Directions

View at Amazon

Price History & Forecast

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

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

Historical
Generating forecast…
£76.42 £75.61 £75.78 £75.96 £76.14 £76.32 £76.49 11 August 2026 19 August 2026 28 August 2026 05 September 2026 14 September 2026
View at Amazon ↗

Price data last checked 56 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 35 days • 1 price levels

Days at Price
35 days 0 9 18 26 35 £76 Days at Price

Price Analysis

Most common price: £76 (35 days, 100.0%)

Price range: £76 - £76

Price levels: 1 different prices over 35 days

Description

Through fundamental contributions from leading researchers, this volume describes the use of formal modeling methods in the areas of requirements, design and validation. The self-contained chapters provide readers with rich background information and a diverse breadth of specialist material.

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
20 October 2014
Listed Since
21 October 2014

Barcode

No barcode data available

Similar Products You Might Like

Advances in Formal Design Methods for CAD: Proceedings of the IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995 (IFIP ... in Information and Communication Technology)
86% match

Advances in Formal Design Methods for CAD: Proceedings of the IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995 (IFIP ... in Information and Communication Technology)

Springer

£147.14 23 Oct 2026
Automating Business Modelling: A Guide to Using Logic to Represent Informal Methods and Support Reasoning (Advanced Information and Knowledge Processing)
86% match

Automating Business Modelling: A Guide to Using Logic to Represent Informal Methods and Support Reasoning (Advanced Information and Knowledge Processing)

Springer

£110.63 24 Oct 2026
Automating Business Modelling: A Guide to Using Logic to Represent Informal Methods and Support Reasoning (Advanced Information and Knowledge Processing)
84% match

Automating Business Modelling: A Guide to Using Logic to Represent Informal Methods and Support Reasoning (Advanced Information and Knowledge Processing)

Springer

£50.55 03 Nov 2026
Systems and Software Verification: Model-Checking Techniques and Tools
83% match

Systems and Software Verification: Model-Checking Techniques and Tools

Springer

£100.11 26 Oct 2026
Form-Oriented Analysis: A New Methodology to Model Form-Based Applications
83% match

Form-Oriented Analysis: A New Methodology to Model Form-Based Applications

Springer

£76.42 31 Oct 2026
The Future of Design Methodology
83% match

The Future of Design Methodology

Springer

£106.06 26 Oct 2026
System-Level Validation: High-Level Modeling and Directed Test Generation Techniques
83% match

System-Level Validation: High-Level Modeling and Directed Test Generation Techniques

Springer

£65.61 27 Oct 2026
Agent Technology from a Formal Perspective (NASA Monographs in Systems and Software Engineering)
83% match

Agent Technology from a Formal Perspective (NASA Monographs in Systems and Software Engineering)

Springer

£111.37 25 Oct 2026
Modern Software Analysis: Theory, Methods and Techniques
83% match

Modern Software Analysis: Theory, Methods and Techniques

Springer

£179.99 24 Oct 2026
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International ... (Lecture Notes in Computer Science, 15220)
83% match

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International ... (Lecture Notes in Computer Science, 15220)

Springer

£56.55 20 Oct 2026
Formal Semantics and Proof Techniques for Optimizing VHDL Models
83% match

Formal Semantics and Proof Techniques for Optimizing VHDL Models

Springer

£74.86 24 Oct 2026
Formal Techniques in Real-Time and Fault-Tolerant Systems: 221 (The Springer International Series in Engineering and Computer Science, 221)
83% match

Formal Techniques in Real-Time and Fault-Tolerant Systems: 221 (The Springer International Series in Engineering and Computer Science, 221)

Springer

£107.85 26 Oct 2026
Versatile Hardware Analysis Techniques: From Waveform-based Analysis to Formal Verification
82% match

Versatile Hardware Analysis Techniques: From Waveform-based Analysis to Formal Verification

Springer

£65.76 07 Nov 2026
Agile-SOFL: Agile Formal Engineering Method
82% match

Agile-SOFL: Agile Formal Engineering Method

Springer

£91.46 22 Oct 2026
Dynamic Management of Sustainable Development: Methods for Large Technical Systems
82% match

Dynamic Management of Sustainable Development: Methods for Large Technical Systems

Springer

£75.10 21 Oct 2026
Modelling Systems: Practical Tools and Techniques in Software Development
82% match

Modelling Systems: Practical Tools and Techniques in Software Development

Cambridge University Press

£22.82 27 Oct 2026
Formal Specification Techniques for Engineering Modular C Programs: 1 (International Series in Software Engineering, 1)
82% match

Formal Specification Techniques for Engineering Modular C Programs: 1 (International Series in Software Engineering, 1)

Springer

£129.99 23 Oct 2026
Optimization Methods in Mathematical Modeling of Technological Processes (Mathematical Engineering)
82% match

Optimization Methods in Mathematical Modeling of Technological Processes (Mathematical Engineering)

Springer

£121.64 20 Oct 2026
Computational Morphologies: Design Rules Between Organic Models and Responsive Architecture
82% match

Computational Morphologies: Design Rules Between Organic Models and Responsive Architecture

Springer

£73.85 22 Oct 2026
Artificial Intelligence in Modeling and Simulation (Simulation Foundations, Methods and Applications)
82% match

Artificial Intelligence in Modeling and Simulation (Simulation Foundations, Methods and Applications)

Springer

£139.99 24 Aug 2026
Mathematical Approaches to Software Quality
82% match

Mathematical Approaches to Software Quality

Springer

£75.68 31 Oct 2026
Versatile Hardware Analysis Techniques: From Waveform-based Analysis to Formal Verification
82% match

Versatile Hardware Analysis Techniques: From Waveform-based Analysis to Formal Verification

Springer

£119.99 12 Sep 2026
Reactive Systems: Modelling, Specification and Verification
82% match

Reactive Systems: Modelling, Specification and Verification

Cambridge University Press

£83.60 29 Aug 2026
Systems Engineering Agile Design Methodologies
82% match

Systems Engineering Agile Design Methodologies

Springer

£76.42 23 Oct 2026