£100.11

This is the most expensive it has ever been. Walk away.

£100 today · previous high £100 · all-time low £100

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

Amazon

Price History & Forecast

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

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

Historical
Generating forecast…
£100.11 £100.08 £100.08 £100.09 £100.10 £100.11 £100.11 25 July 2026 09 August 2026 25 August 2026 09 September 2026 25 September 2026
View at Amazon ↗

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

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 63 days • 1 price levels

Days at Price
63 days 0 16 32 47 63 £100 Days at Price

Price Analysis

Most common price: £100 (63 days, 100.0%)

Price range: £100 - £100

Price levels: 1 different prices over 63 days

Description

This book constitutes the proceedings of the 17th International Symposium on NASA Formal Methods, NFM 2025, held in Hampton Roads, VA, USA in June 2025. The 20 full papers and 4 short papers presented in the proceedings were carefully reviewed and selected from 74 submissions. They focus on formal techniques for software and system assurance for applications in space, aviation, robotics, and other NASA-relevant critical systems.

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
08 June 2025
Listed Since
15 April 2025

Barcode

No barcode data available

Similar Products You Might Like

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

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

Springer

£74.71 18 Sep 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
Space Fostering Latin American Societies: Developing the Latin American Continent Through Space, Part 5 (Southern Space Studies)
96% match

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

Springer

£108.02 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
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
Outer Space and Popular Culture: Influences and Interrelations, Part 2 (Southern Space Studies)
96% match

Outer Space and Popular Culture: Influences and Interrelations, Part 2 (Southern Space Studies)

Springer

£92.22 19 Sep 2026
Proceedings of the International Conference on Aerospace System Science and Engineering 2023: 1153 (Lecture Notes in Electrical Engineering, 1153)
96% 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 Fostering Brazilian Society: Developing Brazil Through Space (Southern Space Studies)
96% match

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

Springer

£86.22 22 Sep 2026
Outer Space and Popular Culture: Influences and Interrelations, Part 3 (Southern Space Studies)
96% match

Outer Space and Popular Culture: Influences and Interrelations, Part 3 (Southern Space Studies)

Springer

£100.11 24 Sep 2026
Mathematical Modelling and Scientific Computing with Applications: ICMMSC 2018, Indore, India, July 19–21: 308 (Springer Proceedings in Mathematics & Statistics, 308)
96% 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
Knowledge and Systems Sciences: 24th International Symposium, KSS 2025, Kitakyushu, Japan, November 28 – December 1, 2025, Proceedings (Communications in Computer and Information Science, 2731)
96% match

Knowledge and Systems Sciences: 24th International Symposium, KSS 2025, Kitakyushu, Japan, November 28 – December 1, 2025, Proceedings (Communications in Computer and Information Science, 2731)

Springer

£56.93 11 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)
96% 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
Progress in Industrial Mathematics at ECMI 2016: 26 (Mathematics in Industry, 26)
96% match

Progress in Industrial Mathematics at ECMI 2016: 26 (Mathematics in Industry, 26)

Springer

£213.62 25 Sep 2026
Advanced Intelligent Computing Technology and Applications: 21st International Conference, ICIC 2025, Ningbo, China, July 26–29, 2025, Proceedings, ... in Computer and Information Science, 2572)
96% match

Advanced Intelligent Computing Technology and Applications: 21st International Conference, ICIC 2025, Ningbo, China, July 26–29, 2025, Proceedings, ... in Computer and Information Science, 2572)

Springer

£68.52 11 Sep 2026
NewSpace Systems Engineering
96% match

NewSpace Systems Engineering

Springer

£65.61 12 Sep 2026
A Mathematical Approach to Research Problems of Science and Technology: Theoretical Basis and Developments in Mathematical Modeling: 5 (Mathematics for Industry, 5)
96% match

A Mathematical Approach to Research Problems of Science and Technology: Theoretical Basis and Developments in Mathematical Modeling: 5 (Mathematics for Industry, 5)

Springer

£279.49 01 Oct 2026
Advanced Intelligent Computing Technology and Applications: 21st International Conference, ICIC 2025, Ningbo, China, July 26–29, 2025, Proceedings, ... in Computer and Information Science, 2568)
96% match

Advanced Intelligent Computing Technology and Applications: 21st International Conference, ICIC 2025, Ningbo, China, July 26–29, 2025, Proceedings, ... in Computer and Information Science, 2568)

Springer

£68.52 11 Sep 2026
Advanced Intelligent Computing Technology and Applications: 21st International Conference, ICIC 2025, Ningbo, China, July 26–29, 2025, Proceedings, ... in Computer and Information Science, 2575)
96% match

Advanced Intelligent Computing Technology and Applications: 21st International Conference, ICIC 2025, Ningbo, China, July 26–29, 2025, Proceedings, ... in Computer and Information Science, 2575)

Springer

£86.90 11 Sep 2026
Soft Computing and Its Engineering Applications: 7th International Conference, icSoftComp 2025, Hanoi, Vietnam, December 9–11, 2025, Proceedings, Part ... in Computer and Information Science, 2873)
96% match

Soft Computing and Its Engineering Applications: 7th International Conference, icSoftComp 2025, Hanoi, Vietnam, December 9–11, 2025, Proceedings, Part ... in Computer and Information Science, 2873)

Springer

£77.36 23 Sep 2026
Modeling and Optimization in Space Engineering: New Concepts and Approaches: 200 (Springer Optimization and Its Applications, 200)
96% match

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

Springer

£109.98 30 Sep 2026
Creativity in the Design Process: Exploring the Influences of the Digital Evolution: 18 (Springer Series in Design and Innovation, 18)
96% match

Creativity in the Design Process: Exploring the Influences of the Digital Evolution: 18 (Springer Series in Design and Innovation, 18)

Springer

£84.32 01 Oct 2026
Advanced Intelligent Computing Technology and Applications: 21st International Conference, ICIC 2025, Ningbo, China, July 26–29, 2025, Proceedings, ... in Computer and Information Science, 2571)
96% match

Advanced Intelligent Computing Technology and Applications: 21st International Conference, ICIC 2025, Ningbo, China, July 26–29, 2025, Proceedings, ... in Computer and Information Science, 2571)

Springer

£73.46 12 Sep 2026