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: 77.33 GBP
Availability: InStock

Architecture & Microprocessors

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

£77 today · previous high £77 · all-time low £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 50 days • 50 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 50 days • 1 price levels

Days at Price

Price Analysis

Most common price: £77 (50 days, 100.0%)

Price range: £77 - £77

Price levels: 1 different prices over 50 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)

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

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)

Human-Computer Interaction: Thematic Area, HCI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July ... (Lecture Notes in Computer Science, 14011)

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)

Natural Language Processing and Chinese Computing: 12th National CCF Conference, NLPCC 2023, Foshan, China, October 12–15, 2023, Proceedings, Part I: 14302 (Lecture Notes in Computer Science, 14302)

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

High Performance Computing: ISC High Performance 2023 International Workshops, Hamburg, Germany, May 21–25, 2023, Revised Selected Papers: 13999 (Lecture Notes in Computer Science, 13999)

Innovative Technologies and Learning: 6th International Conference, ICITL 2023, Porto, Portugal, August 28–30, 2023, Proceedings: 14099 (Lecture Notes in Computer Science, 14099)

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)

Functional Imaging and Modeling of the Heart: 13th International Conference, FIMH 2025, Dallas, TX, USA, June 1–5, 2025, Proceedings, Part II: 15673 (Lecture Notes in Computer Science, 15673)

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)

Proceedings of the International Conference on Fundamental and Industrial Research on Materials: iConFIRM 2023, 11-14 December, Ropar, India (Springer Proceedings in Physics)

Human-Computer Interaction – INTERACT 2023: 19th IFIP TC13 International Conference, York, UK, August 28 – September 1, 2023, Proceedings, Part III: 14144 (Lecture Notes in Computer Science, 14144)

Trends in Functional Programming: 26th International Symposium, TFP 2025, Oxford, UK, January 14–16, 2025, Revised Selected Papers: 15652 (Lecture Notes in Computer Science, 15652)

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)

Neural Information Processing: 30th International Conference, ICONIP 2023, Changsha, China, November 20–23, 2023, Proceedings, Part IV: 14450 (Lecture Notes in Computer Science, 14450)