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

£91.63

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

Name: NASA Formal Methods: 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings: 15682 (Lecture Notes in Computer Science, 15682)
Brand: Springer
Price: 96.61 GBP
Availability: InStock

Architecture & Microprocessors

Price History & Forecast

Last 46 days • 46 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 46 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £97 (45 days, 97.8%)

Price range: £92 - £97

Price levels: 2 different prices over 46 days

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3031937058
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 08 June 2025
Listed Since: 15 April 2025

Barcode

No barcode data available

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

Price History & Forecast

Price Distribution

Price Analysis

Product Specifications

Barcode

Similar Products You Might Like

Springer FIMH 2025 Proceedings - Lecture Notes in Computer Science

Wireless Artificial Intelligent Computing Systems and Applications: 19th International Conference, WASA 2025, Tokyo, Japan, June 24–26, 2025, ... (Lecture Notes in Computer Science, 15687)

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

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

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

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

Wireless Artificial Intelligent Computing Systems and Applications: 19th International Conference, WASA 2025, Tokyo, Japan, June 24–26, 2025, ... (Lecture Notes in Computer Science, 15686)

Rigorous State-Based Methods: 11th International Conference, ABZ 2025, Düsseldorf, Germany, June 10–13, 2025, Proceedings: 15728 (Lecture Notes in Computer Science, 15728)

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

Proceedings of the International Symposium on Intelligent Computing and Networking 2025: ISICN 2025 (Lecture Notes in Networks and Systems, 1698)

Advances in Visual Computing: 20th International Symposium, ISVC 2025, Las Vegas, NV, USA, November 17–19, 2025, Proceedings, Part II (Lecture Notes in Computer Science, 16397)

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

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

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

Springer NETYS 2025 Proceedings - Lecture Notes 15736

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

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

Discrete Geometry and Mathematical Morphology: 4th International Joint Conference, DGMM 2025, Groningen, The Netherlands, November 3–6, 2025, Proceedings (Lecture Notes in Computer Science, 16296)

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

Unconventional Computation and Natural Computation: 22nd International Conference, UCNC 2025, Nice, France, September 1–5, 2025, Proceedings (Lecture Notes in Computer Science, 16364)

Intelligent Information and Database Systems: 17th Asian Conference, ACIIDS 2025, Kitakyushu, Japan, April 23-25, 2025, Proceedings, Part I: 15683 (Lecture Notes in Computer Science, 15683)

Social Networks Analysis and Mining: 17th International Conference, ASONAM 2025, Niagara Falls, ON, Canada, August 25–28, 2025, Proceedings, Part II (Lecture Notes in Computer Science, 16323)

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

Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: Second International Joint Conference, QEST+FORMATS 2025, ... (Lecture Notes in Computer Science, 16143)