Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings: 14000 (Lecture Notes in Computer Science, 14000) - Image 1

£77.33

Springer Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings: 14000 (Lecture Notes in Computer Science, 14000)

Name: Formal Methods: 25th International Symposium, FM 2023, Lubeck, Germany, March 6-10, 2023, Proceedings: 14000 (Lecture Notes in Computer Science, 14000)
Brand: Springer
Price: 78.91 GBP
Availability: InStock

Architecture & Microprocessors

About as cheap as it gets. The only time it was cheaper was 2 months ago.

£77 today · all-time low £77 (Mar 2026) · usually £77

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 90 days • 90 data points

Historical

Generating forecast...

Price Distribution

Price distribution over 90 days • 3 price levels

Days at Price

Current Price

Price Analysis

Most common price: £77 (77 days, 85.6%)

Price range: £77 - £79

Price levels: 3 different prices over 90 days

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3031274806
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 03 March 2023
Listed Since: 25 January 2023

Barcode

No barcode data available

Springer Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings: 14000 (Lecture Notes in Computer Science, 14000)

About as cheap as it gets. The only time it was cheaper was 2 months ago.

Price History & Forecast

Price Distribution

Price Analysis

Product Specifications

Barcode

Similar Products You Might Like

Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II: 14934 (Lecture Notes in Computer Science, 14934)

Formal Methods: 27th International Symposium, FM 2026, Tokyo, Japan, May 18–22, 2026, Proceedings, Part II (Lecture Notes in Computer Science, 16557)

Descriptional Complexity of Formal Systems: 26th IFIP WG 1.02 International Conference, DCFS 2025, Loughborough, UK, July 22–24, 2025, Proceedings: 15759 (Lecture Notes in Computer Science, 15759)

Social Computing and Social Media: 15th International Conference, SCSM 2023, Held as Part of the 25th HCI International Conference, HCII 2023, ... (Lecture Notes in Computer Science, 14025)

Rough Sets: International Joint Conference, IJCRS 2023, Krakow, Poland, October 5–8, 2023, Proceedings: 14481 (Lecture Notes in Computer Science, 14481)

Knowledge Graphs and Semantic Web: 7th International Conference, KGSWC 2025, Leipzig, Germany, November 26–28, 2025, Proceedings (Lecture Notes in Computer Science, 16373)

HCI International 2023 – Late Breaking Papers: 25th International Conference on Human-Computer Interaction, HCII 2023, Copenhagen, Denmark, July ... (Lecture Notes in Computer Science, 14059)

Information Security Practice and Experience: 18th International Conference, ISPEC 2023, Copenhagen, Denmark, August 24–25, 2023, Proceedings: 14341 (Lecture Notes in Computer Science, 14341)

Human Interface and the Management of Information: Thematic Area, HIMI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, ... (Lecture Notes in Computer Science, 14016)

Advanced Data Mining and Applications: 19th International Conference, ADMA 2023, Shenyang, China, August 21–23, 2023, Proceedings, Part V: 14180 (Lecture Notes in Computer Science, 14180)

Speech and Computer: 25th International Conference, SPECOM 2023, Dharwad, India, November 29 – December 2, 2023, Proceedings, Part II: 14339 (Lecture Notes in Computer Science, 14339)

Proceedings of the 2025 10th International Conference on Multimedia Systems and Signal Processing: ICMSSP 2025, Fukui, Japan, May 9-11 (Lecture Notes in Networks and Systems, 1637)

Computational Methods in Systems Biology: 22nd International Conference, CMSB 2024, Pisa, Italy, September 16–18, 2024, Proceedings: 14971 (Lecture Notes in Computer Science, 14971)

Natural Language Processing and Chinese Computing: 14th National CCF Conference, NLPCC 2025, Urumqi, China, August 7–9, 2025, Proceedings, Part II (Lecture Notes in Computer Science, 16103)

Engineering Psychology and Cognitive Ergonomics: 20th International Conference, EPCE 2023, Held as Part of the 25th HCI International Conference, HCII ... (Lecture Notes in Computer Science, 14018)

Computer Performance Engineering and Stochastic Modelling: 19th European Workshop, EPEW 2023, and 27th International Conference, ASMTA 2023, Florence, ... (Lecture Notes in Computer Science, 14231)

Information for a Better World: Normality, Virtuality, Physicality, Inclusivity: 18th International Conference, iConference 2023, Virtual Event, March ... (Lecture Notes in Computer Science, 13972)

MultiMedia Modeling: 29th International Conference, MMM 2023, Bergen, Norway, January 9–12, 2023, Proceedings, Part I: 13833 (Lecture Notes in Computer Science, 13833)

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

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

Formalizing Natural Languages: Applications to Natural Language Processing and Digital Humanities: 18th International Conference, NooJ 2024, Bergamo, ... in Computer and Information Science, 2443)

Proceedings of 4th International Conference on Frontiers in Computing and Systems: COMSYS 2023, Volume 2: 975 (Lecture Notes in Networks and Systems, 975)

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

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