£74.71

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

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

Springer NASA Formal Methods: 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4–6, 2024, Proceedings: 14627 (Lecture Notes in Computer Science, 14627)

View at Amazon

Price History & Forecast

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

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

Historical
Generating forecast…
£92.22 £72.96 £77.16 £81.36 £85.57 £89.77 £93.97 25 July 2026 07 August 2026 21 August 2026 04 September 2026 18 September 2026
View at Amazon ↗

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

Days at Price
Current Price
1 day · current 55 days 0 14 28 41 55 £75 £92 Days at Price

Price Analysis

Most common price: £92 (55 days, 98.2%)

Price range: £75 - £92

Price levels: 2 different prices over 56 days

Description

This LNCS 14627 conference volume constitutes the proceedings of the 16th International Symposium on NASA Formal Methods, NFM 2024, held in Moffett Field, CA, USA in June 2024. The 20 full papers together with 6 short papers included in this volume were carefully reviewed and selected from 68 submissions. The conference focuses on the on formal techniques for software and system assurance for applications in space, aviation, robotics, and other NASA-relevant safety-critical systems.

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
28 May 2024
Listed Since
13 April 2024

Barcode

No barcode data available

Similar Products You Might Like

NASA Formal Methods: 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11–13, 2025, Proceedings: 15682 (Lecture Notes in Computer Science, 15682)
99% 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.11 25 Sep 2026
NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings: 13260 (Lecture Notes in Computer Science, 13260)
99% match

NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings: 13260 (Lecture Notes in Computer Science, 13260)

Springer

£92.03 10 Oct 2026
NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings: 13903 (Lecture Notes in Computer Science, 13903)
99% 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.42 30 Sep 2026
Proceedings of the Second Global Forum on Space Information for Sustainable Development: GFSISD 2024, 25–28 September, Guangzhou, China: 417 (Springer Proceedings in Physics, 417)
96% match

Proceedings of the Second Global Forum on Space Information for Sustainable Development: GFSISD 2024, 25–28 September, Guangzhou, China: 417 (Springer Proceedings in Physics, 417)

Springer

£100.03 10 Sep 2026
Springer Mathematical Modeling and Numerical Analysis Book
96% match

Springer Mathematical Modeling and Numerical Analysis Book

Springer

£88.65 04 Oct 2026
Integrated Approaches to Systems Engineering, Intelligent Technology, and Innovation in Space Exploration: Proceedings of the XLVI, XLVII ACADEMIC ... (Lecture Notes in Networks and Systems, 1632)
96% match

Integrated Approaches to Systems Engineering, Intelligent Technology, and Innovation in Space Exploration: Proceedings of the XLVI, XLVII ACADEMIC ... (Lecture Notes in Networks and Systems, 1632)

Springer

£162.90 29 Aug 2026
Mathematical Modelling, Applied Analysis and Computation: ICMMAAC 2018, Jaipur, India, July 6-8: 272 (Springer Proceedings in Mathematics & Statistics, 272)
96% match

Mathematical Modelling, Applied Analysis and Computation: ICMMAAC 2018, Jaipur, India, July 6-8: 272 (Springer Proceedings in Mathematics & Statistics, 272)

Springer

£83.06 23 Sep 2026
Integrated Approaches to Systems Engineering, Intelligent Technology, and Innovation in Space Exploration: Proceedings of the XLVI, XLVII ACADEMIC ... (Lecture Notes in Networks and Systems, 1633)
96% match

Integrated Approaches to Systems Engineering, Intelligent Technology, and Innovation in Space Exploration: Proceedings of the XLVI, XLVII ACADEMIC ... (Lecture Notes in Networks and Systems, 1633)

Springer

£162.90 23 Sep 2026
Space Fostering Latin American Societies: Developing the Latin American Continent Through Space, Part 3 (Southern Space Studies)
96% match

Space Fostering Latin American Societies: Developing the Latin American Continent Through Space, Part 3 (Southern Space Studies)

Springer

£106.60 18 Sep 2026
Space Fostering Latin American Societies: Developing the Latin American Continent Through Space, Part 3 (Southern Space Studies)
96% match

Space Fostering Latin American Societies: Developing the Latin American Continent Through Space, Part 3 (Southern Space Studies)

Springer

£100.10 22 Sep 2026
Space Fostering Latin American Societies: Developing the Latin American Continent Through Space, Part 5 (Southern Space Studies)
95% match

Space Fostering Latin American Societies: Developing the Latin American Continent Through Space, Part 5 (Southern Space Studies)

Springer

£108.02 23 Sep 2026
Mathematical Modelling and Scientific Computing with Applications: ICMMSC 2018, Indore, India, July 19–21: 308 (Springer Proceedings in Mathematics & Statistics, 308)
95% match

Mathematical Modelling and Scientific Computing with Applications: ICMMSC 2018, Indore, India, July 19–21: 308 (Springer Proceedings in Mathematics & Statistics, 308)

Springer

£73.85 23 Sep 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

£171.77 01 Oct 2026
Space Operations: Beyond Boundaries to Human Endeavours (Springer Aerospace Technology)
95% match

Space Operations: Beyond Boundaries to Human Endeavours (Springer Aerospace Technology)

Springer

£157.69 30 Sep 2026
Proceedings of the International Conference on Aerospace System Science and Engineering 2022: 1020 (Lecture Notes in Electrical Engineering, 1020)
95% match

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

Springer

£187.36 25 Aug 2026
Mathematical Analysis and Numerical Methods: IACMC 2023, Zarqa, Jordan, May 10–12 (Springer Proceedings in Mathematics & Statistics, 466)
95% match

Mathematical Analysis and Numerical Methods: IACMC 2023, Zarqa, Jordan, May 10–12 (Springer Proceedings in Mathematics & Statistics, 466)

Springer

£195.24 29 Aug 2026
Space Fostering Brazilian Society: Developing Brazil Through Space (Southern Space Studies)
95% match

Space Fostering Brazilian Society: Developing Brazil Through Space (Southern Space Studies)

Springer

£86.22 22 Sep 2026
Intelligent Computer Mathematics: 18th International Conference, CICM 2025, Brasilia, Brazil, October 6–10, 2025, Proceedings (Lecture Notes in Computer Science, 16136)
95% match

Intelligent Computer Mathematics: 18th International Conference, CICM 2025, Brasilia, Brazil, October 6–10, 2025, Proceedings (Lecture Notes in Computer Science, 16136)

Springer

£96.93 12 Sep 2026
Modeling and Optimization in Space Engineering: New Concepts and Approaches: 200 (Springer Optimization and Its Applications, 200)
95% match

Modeling and Optimization in Space Engineering: New Concepts and Approaches: 200 (Springer Optimization and Its Applications, 200)

Springer

£109.98 30 Sep 2026
Proceedings of the National Aerospace Propulsion Conference: Select Proceedings of NAPC 2020 (Lecture Notes in Mechanical Engineering)
95% match

Proceedings of the National Aerospace Propulsion Conference: Select Proceedings of NAPC 2020 (Lecture Notes in Mechanical Engineering)

Springer

£163.97 07 Sep 2026
Proceedings of the 8th International Conference on Space Science and Communication: IconSpace 2023, 3–4 October, Penang, Malaysia: 303 (Springer Proceedings in Physics, 303)
95% match

Proceedings of the 8th International Conference on Space Science and Communication: IconSpace 2023, 3–4 October, Penang, Malaysia: 303 (Springer Proceedings in Physics, 303)

Springer

£92.95 20 Sep 2026
Proceedings of the 8th International Conference on Space Science and Communication: IconSpace 2023, 3–4 October, Penang, Malaysia: 303 (Springer Proceedings in Physics, 303)
95% match

Proceedings of the 8th International Conference on Space Science and Communication: IconSpace 2023, 3–4 October, Penang, Malaysia: 303 (Springer Proceedings in Physics, 303)

Springer

£88.74 03 Sep 2026
Spacecraft Maneuver with Performance Guaranteed: Control, Games, and Cooperation
95% match

Spacecraft Maneuver with Performance Guaranteed: Control, Games, and Cooperation

Springer

£109.82 23 Sep 2026
Computational Science and Its Applications – ICCSA 2024 Workshops: Hanoi, Vietnam, July 1–4, 2024, Proceedings, Part XI: 14825 (Lecture Notes in Computer Science, 14825)
95% match

Computational Science and Its Applications – ICCSA 2024 Workshops: Hanoi, Vietnam, July 1–4, 2024, Proceedings, Part XI: 14825 (Lecture Notes in Computer Science, 14825)

Springer

£149.99 04 Oct 2026