£87.20

Springer Formal Methods for Safety and Security: Case Studies for Aerospace Applications

White

Price data last checked 15 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.

£87 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 76 days · 76 data points (no recent data)

Historical
Generating forecast…
£87.20 £82.84 £84.58 £86.33 £88.07 £89.82 £91.56 26 April 2026 14 May 2026 02 June 2026 21 June 2026 10 July 2026

Price Distribution

Price distribution over 76 days • 1 price levels

Days at Price
76 days 0 19 38 57 76 £87 Days at Price

Price Analysis

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

Price range: £87 - £87

Price levels: 1 different prices over 76 days

Description

This volume is the outcome of deliberations on formal methods in aerospace. The book specially delves into the use of formal methods for verification, validation, and optimization of software in safety critical and time critical applications, such as those in aerospace engineering. The chapters in this book are authored by leading corporate and government R&D scientists. The contents of this book will be useful to researchers and professionals alike.

Product Specifications

Colour
White
Format
hardcover
Domain
Amazon UK
Release Date
22 November 2017
Listed Since
07 February 2017

Barcode

No barcode data available

Similar Products You Might Like

NASA Formal Methods: 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings: 12673 (Lecture Notes in Computer Science, 12673)
96% match

NASA Formal Methods: 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings: 12673 (Lecture Notes in Computer Science, 12673)

Springer

£64.54 08 Jul 2026
Aerospace Marketing Management: Manufacturers · OEM · Airlines · Airports · Satellites · Launchers
95% match

Aerospace Marketing Management: Manufacturers · OEM · Airlines · Airports · Satellites · Launchers

Springer

£144.90 15 Jul 2026
Aufgaben aus der Flugzeugstatik: Im Auftrage der Deutschen Versuchsanstalt für Luftfahrt, E. V., Berlin-Adlershof
95% match

Aufgaben aus der Flugzeugstatik: Im Auftrage der Deutschen Versuchsanstalt für Luftfahrt, E. V., Berlin-Adlershof

Springer

£63.47 10 Jul 2026
Aerospace and Digitalization: A Transformation Through Key Industry 4.0 Technologies (SpringerBriefs in Applied Sciences and Technology)
95% match

Aerospace and Digitalization: A Transformation Through Key Industry 4.0 Technologies (SpringerBriefs in Applied Sciences and Technology)

Springer

£48.23 16 Jul 2026
Strategic Issues in European Aerospace
95% match

Strategic Issues in European Aerospace

Routledge

£147.25 09 Jul 2026
Aerospace and Aeronautical Engineering
95% match

Aerospace and Aeronautical Engineering

Willford Press

£71.36 15 Jul 2026
The Future Vision of Aerospace Engineering: Technological Evolution and Trend Analysis: Selected Contributions of 2025 5th International Conference on ... Engineering (Springer Aerospace Technology)
95% match

The Future Vision of Aerospace Engineering: Technological Evolution and Trend Analysis: Selected Contributions of 2025 5th International Conference on ... Engineering (Springer Aerospace Technology)

Springer

£159.99 14 Jul 2026
Proceedings of the 10th International Seminar on Aerospace Science and Technology; ISAST 2024; 17 September, Bali, Indonesia: Integrating Aviation, ... 416 (Springer Proceedings in Physics, 416)
95% match

Proceedings of the 10th International Seminar on Aerospace Science and Technology; ISAST 2024; 17 September, Bali, Indonesia: Integrating Aviation, ... 416 (Springer Proceedings in Physics, 416)

Springer

£101.22 14 Jul 2026
Human Aspects of Information Security and Assurance: 16th IFIP WG 11.12 International Symposium, HAISA 2022, Mytilene, Lesbos, Greece, July 6–8, 2022, ... and Communication Technology, 658)
95% match

Human Aspects of Information Security and Assurance: 16th IFIP WG 11.12 International Symposium, HAISA 2022, Mytilene, Lesbos, Greece, July 6–8, 2022, ... and Communication Technology, 658)

Springer

£91.93 09 Jul 2026
Human Aspects of Information Security and Assurance: 17th IFIP WG 11.12 International Symposium, HAISA 2023, Kent, UK, July 4–6, 2023, Proceedings: ... and Communication Technology, 674)
95% match

Human Aspects of Information Security and Assurance: 17th IFIP WG 11.12 International Symposium, HAISA 2023, Kent, UK, July 4–6, 2023, Proceedings: ... and Communication Technology, 674)

Springer

£92.44 07 Jul 2026
Proceedings of the International Conference on Aerospace System Science and Engineering 2023: 1153 (Lecture Notes in Electrical Engineering, 1153)
95% match

Proceedings of the International Conference on Aerospace System Science and Engineering 2023: 1153 (Lecture Notes in Electrical Engineering, 1153)

Springer

£155.47 14 Jul 2026
Der Schnellverkehr in der Luft und seine Stellung im neuzeitlichen Verkehrswesen: 8 (Forschungsergebnisse des Verkehrswissenschaftlichen Instituts an der Technischen Hochschule Stuttgart, 8)
95% match

Der Schnellverkehr in der Luft und seine Stellung im neuzeitlichen Verkehrswesen: 8 (Forschungsergebnisse des Verkehrswissenschaftlichen Instituts an der Technischen Hochschule Stuttgart, 8)

Springer

£45.53 14 Jul 2026
Human Aspects of Information Security and Assurance: 17th IFIP WG 11.12 International Symposium, HAISA 2023, Kent, UK, July 4–6, 2023, Proceedings: ... and Communication Technology, 674)
95% match

Human Aspects of Information Security and Assurance: 17th IFIP WG 11.12 International Symposium, HAISA 2023, Kent, UK, July 4–6, 2023, Proceedings: ... and Communication Technology, 674)

Springer

£90.59 14 Jul 2026
NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings: 13903 (Lecture Notes in Computer Science, 13903)
95% match

NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings: 13903 (Lecture Notes in Computer Science, 13903)

Springer

£75.51 13 Jul 2026
U.S. Aerospace Industry: Analysis & Prospects (Transportation Infrastructure - Roads, Highways, Bridges, Airports & Mass Transit Series) (Business Issues, Competition and Entrepreneurship)
95% match

U.S. Aerospace Industry: Analysis & Prospects (Transportation Infrastructure - Roads, Highways, Bridges, Airports & Mass Transit Series) (Business Issues, Competition and Entrepreneurship)

£53.59 09 Jul 2026
NASA Formal Methods: 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11–13, 2025, Proceedings: 15682 (Lecture Notes in Computer Science, 15682)
95% match

NASA Formal Methods: 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11–13, 2025, Proceedings: 15682 (Lecture Notes in Computer Science, 15682)

Springer

£100.08 10 Jul 2026
Information Support and Aircraft Flight Management (Springer Aerospace Technology)
95% match

Information Support and Aircraft Flight Management (Springer Aerospace Technology)

Springer

£79.70 13 Jul 2026
Safety and Security Science and Technology: Perspectives from Practice (Advanced Sciences and Technologies for Security Applications)
95% match

Safety and Security Science and Technology: Perspectives from Practice (Advanced Sciences and Technologies for Security Applications)

Springer

£62.46 09 Jul 2026
Achieving Quality in Software: Proceedings of the third international conference on achieving quality in software, 1996 (IFIP Advances in Information and Communication Technology)
95% match

Achieving Quality in Software: Proceedings of the third international conference on achieving quality in software, 1996 (IFIP Advances in Information and Communication Technology)

Springer

£147.13 15 Jul 2026
Novel Techniques in Maintenance, Repair, and Overhaul: Proceedings of the International Symposium on Aviation Technology, MRO, and Operations 2022 (Sustainable Aviation)
95% match

Novel Techniques in Maintenance, Repair, and Overhaul: Proceedings of the International Symposium on Aviation Technology, MRO, and Operations 2022 (Sustainable Aviation)

Springer

£161.42 13 Jul 2026