Integrated Formal Methods: 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings: 14300 (Lecture Notes in Computer Science, 14300) - Image 1

£90.81

Springer Integrated Formal Methods: 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings: 14300 (Lecture Notes in Computer Science, 14300)

Name: Integrated Formal Methods: 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings: 14300 (Lecture Notes in Computer Science, 14300)
Brand: Springer
Price: 90.81 GBP
Availability: InStock

Functional Programming

It has never been this cheap. We have no record of a lower price.

£91 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

↓ 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 75 days · 75 data points (no recent data)

Historical

Generating forecast…

Price Distribution

Price distribution over 75 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £92 (56 days, 74.7%)

Price range: £91 - £92

Price levels: 2 different prices over 75 days

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3031477049
Category: Books > Subjects > Computing & Internet > Programming > Software Design, Testing & Engineering > Functional Programming
Domain: Amazon UK
Release Date: 11 November 2023
Listed Since: 29 September 2023

Barcode

No barcode data available

Springer Integrated Formal Methods: 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings: 14300 (Lecture Notes in Computer Science, 14300)

It has never been this cheap. We have no record of a lower price.

Price History & Forecast

Price Distribution

Price Analysis

Product Specifications

Barcode

Similar Products You Might Like

Software Engineering and Formal Methods: 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings: 13085 (Lecture Notes in Computer Science, 13085)

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

Intelligent Computer Mathematics: 16th International Conference, CICM 2023, Cambridge, UK, , September 5–8, 2023 Proceedings: 14101 (Lecture Notes in Computer Science, 14101)

Logic, Language, Information, and Computation: 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023, Proceedings: 13923 (Lecture Notes in Computer Science, 13923)

Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, ... (Lecture Notes in Computer Science, 14500)

Foundations of Intelligent Systems: 27th International Symposium, ISMIS 2024, Poitiers, France, June 17–19, 2024, Proceedings: 14670 (Lecture Notes in Computer Science, 14670)

Proceedings of 2nd International Conference on Mathematical Modeling and Computational Science: ICMMCS 2021: 1422 (Advances in Intelligent Systems and Computing, 1422)

Experimental IR Meets Multilinguality, Multimodality, and Interaction: 13th International Conference of the CLEF Association, CLEF 2022, Bologna, ... (Lecture Notes in Computer Science, 13390)

Advanced Intelligent Computing Technology and Applications: 20th International Conference, ICIC 2024, Tianjin, China, August 5–8, 2024, Proceedings, ... (Lecture Notes in Computer Science, 14878)

Proceedings of the 4th International Conference on Materials Engineering and Functional Materials: ICMFM 2025, February 21–23, Da Nang, Vietnam: 88 (Springer Proceedings in Materials, 88)

Programming Languages and Systems: 23rd Asian Symposium, APLAS 2025, Bengaluru, India, October 27–30, 2025, Proceedings (Lecture Notes in Computer Science, 16201)

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, 15850)

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

Innovative Intelligent Industrial Production and Logistics: 4th International Conference, IN4PL 2023, Rome, Italy, November 15–17, 2023, Proceedings: ... in Computer and Information Science, 1886)

Experimental IR Meets Multilinguality, Multimodality, and Interaction: 14th International Conference of the CLEF Association, CLEF 2023, Thessaloniki, ... (Lecture Notes in Computer Science, 14163)

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

Image and Graphics: 13th International Conference, ICIG 2025, Xuzhou, China, October 31 – November 2, 2025, Proceedings, Part II (Lecture Notes in Computer Science, 16162)

Innovative Intelligent Industrial Production and Logistics: 6th IFAC/INSTICC International Conference, IN4PL 2025, Marbella, Spain, October 23–24, ... in Computer and Information Science, 2825)

Logics and Type Systems in Theory and Practice: Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday: 14560 (Lecture Notes in Computer Science, 14560)

Mathematics and Logics in Computer Science: Proceedings of ICMLCS 2024 (Algorithms for Intelligent Systems)

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, 15846)

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