£87.20

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

White

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

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 1 days • 1 data points (No recent data available)

Historical
Generating forecast...
Not enough data points to display chart (need at least 2 points)

Price Distribution

Price distribution over 1 days • 1 price levels

Days at Price
1 day 0 0 1 1 1 £87 Days at Price

Price Analysis

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

Price range: £87 - £87

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

£63.99 06 Mar 2026
Formal Methods for Safety and Security: Case Studies for Aerospace Applications
96% match

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

Springer

£80.09 02 Mar 2026
Air Transport System (Research Topics in Aerospace)
95% match

Air Transport System (Research Topics in Aerospace)

Springer

£86.91 25 Feb 2026
Aerospace Marketing Management: Manufacturers · OEM · Airlines · Airports · Satellites · Launchers
95% match

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

Springer

£149.87 18 Apr 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

£64.33 12 Mar 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 20 Apr 2026
Aerospace Marketing Management: A Handbook for the Entire Value Chain (Management for Professionals)
95% match

Aerospace Marketing Management: A Handbook for the Entire Value Chain (Management for Professionals)

Springer

£55.48 01 Mar 2026
Strategic Issues in European Aerospace
95% match

Strategic Issues in European Aerospace

Routledge

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

Aerospace and Aeronautical Engineering

Willford Press

£70.82 15 Apr 2026
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 Apr 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

£125.29 13 Apr 2026
Space Program Management: Methods and Tools: 28 (Space Technology Library, 28)
95% match

Space Program Management: Methods and Tools: 28 (Space Technology Library, 28)

Springer

£119.99 17 Feb 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

£92.06 09 Mar 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

£92.39 17 Feb 2026
Probabilistic-Statistical Methods for Risk Assessment in Civil Aviation (Springer Aerospace Technology)
95% match

Probabilistic-Statistical Methods for Risk Assessment in Civil Aviation (Springer Aerospace Technology)

Springer

£91.13 15 Feb 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 06 Mar 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 13 Apr 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.49 12 Apr 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 13 Apr 2026
Security in Computing and Communications: 6th International Symposium, SSCC 2018, Bangalore, India, September 19–22, 2018, Revised Selected Papers: ... in Computer and Information Science, 969)
95% match

Security in Computing and Communications: 6th International Symposium, SSCC 2018, Bangalore, India, September 19–22, 2018, Revised Selected Papers: ... in Computer and Information Science, 969)

Springer

£78.84 04 Mar 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

£76.14 09 Apr 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)

£75.33 08 Mar 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

£91.63 12 Mar 2026
Information Support and Aircraft Flight Management (Springer Aerospace Technology)
95% match

Information Support and Aircraft Flight Management (Springer Aerospace Technology)

Springer

£79.70 05 Apr 2026