£75.68

Springer Formal Methods: State of the Art and New Directions

Price data last checked 10 day(s) ago - will refresh soon

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

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

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 History & Forecast

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

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

Historical
Generating forecast…
£76.42 £75.61 £75.78 £75.96 £76.14 £76.32 £76.49 26 June 2026 16 July 2026 05 August 2026 25 August 2026 14 September 2026

Price Distribution

Price distribution over 81 days • 1 price levels

Days at Price
81 days 0 20 41 61 81 £76 Days at Price

Price Analysis

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

Price range: £76 - £76

Price levels: 1 different prices over 81 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 06 Aug 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

£108.01 07 Aug 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

£102.00 18 Aug 2026
Systems and Software Verification: Model-Checking Techniques and Tools
83% match

Systems and Software Verification: Model-Checking Techniques and Tools

Springer

£100.11 08 Aug 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 13 Aug 2026
The Future of Design Methodology
83% match

The Future of Design Methodology

Springer

£106.06 08 Aug 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 08 Aug 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

£108.01 07 Aug 2026
Modern Software Analysis: Theory, Methods and Techniques
83% match

Modern Software Analysis: Theory, Methods and Techniques

Springer

£179.99 07 Aug 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 03 Aug 2026
Formal Semantics and Proof Techniques for Optimizing VHDL Models
83% match

Formal Semantics and Proof Techniques for Optimizing VHDL Models

Springer

£74.46 07 Aug 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 08 Aug 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

£70.97 22 Aug 2026
Agile-SOFL: Agile Formal Engineering Method
82% match

Agile-SOFL: Agile Formal Engineering Method

Springer

£92.56 05 Aug 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.21 04 Aug 2026
Modelling Systems: Practical Tools and Techniques in Software Development
82% match

Modelling Systems: Practical Tools and Techniques in Software Development

Cambridge University Press

£29.57 10 Aug 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 06 Aug 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 01 Aug 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 05 Aug 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

£74.72 14 Aug 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 05 Aug 2026