We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£75.51
Springer NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings: 13903 (Lecture Notes in Computer Science, 13903)
Price data last checked 12 day(s) ago - will refresh soon
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
when this has been cheap or pricey
where the price is heading next
all-time high & low, recent range
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 79 days · 79 data points (no recent data)
Price Distribution
Price distribution over 79 days • 1 price levels
Price Analysis
Most common price: £76 (79 days, 100.0%)
Price range: £76 - £76
Price levels: 1 different prices over 79 days
Product Specifications
- Brand
- Springer
- Format
- paperback
- ASIN
- 3031331699
- Category
- Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
- Domain
- Amazon UK
- Release Date
- 03 June 2023
- Listed Since
- 12 April 2023
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)
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)
Springer
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
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
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
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
Space Fostering Latin American Societies: Developing the Latin American Continent Through Space, Part 3 (Southern Space Studies)
Springer
Space Fostering Latin American Societies: Developing the Latin American Continent Through Space, Part 3 (Southern Space Studies)
Springer
Mathematical Modelling and Scientific Computing with Applications: ICMMSC 2018, Indore, India, July 19–21: 308 (Springer Proceedings in Mathematics & Statistics, 308)
Springer
Proceedings of the International Conference on Aerospace System Science and Engineering 2023: 1153 (Lecture Notes in Electrical Engineering, 1153)
Springer
Novel and Intelligent Digital Systems: Proceedings of the 5th International Conference (NiDS 2025): Volume III (Lecture Notes in Networks and Systems, 1707)
Springer
Outer Space and Popular Culture: Influences and Interrelations, Part 3 (Southern Space Studies)
Springer
Space Fostering Latin American Societies: Developing the Latin American Continent Through Space, Part 5 (Southern Space Studies)
Springer
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
Modeling and Optimization in Space Engineering: New Concepts and Approaches: 200 (Springer Optimization and Its Applications, 200)
Springer
Mathematical Modelling, Applied Analysis and Computation: ICMMAAC 2018, Jaipur, India, July 6-8: 272 (Springer Proceedings in Mathematics & Statistics, 272)
Springer
Mathematical Analysis, its Applications and Computation: ISAAC 2019, Aveiro, Portugal, July 29–August 2: 385 (Springer Proceedings in Mathematics & Statistics, 385)
Springer
Mathematical Analysis, its Applications and Computation: ISAAC 2019, Aveiro, Portugal, July 29–August 2: 385 (Springer Proceedings in Mathematics & Statistics, 385)
Springer
Integrated Approaches to Systems Engineering, Intelligent Technology, and Innovation in Space Exploration: Proceedings of the XLVI, XLVII ACADEMIC ... (Lecture Notes in Networks and Systems, 1634)
Springer
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
NewSpace Systems Engineering
Springer
Space Fostering Brazilian Society: Developing Brazil Through Space (Southern Space Studies)
Springer
Intelligent Computer Mathematics: 18th International Conference, CICM 2025, Brasilia, Brazil, October 6–10, 2025, Proceedings (Lecture Notes in Computer Science, 16136)
Springer
Novel and Intelligent Digital Systems: Proceedings of the 5th International Conference (NiDS 2025): Volume II (Lecture Notes in Networks and Systems, 1706)
Springer