£116.76

Springer FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings: 5850 (Lecture Notes in Computer Science, 5850)

43187-18116

Price data last checked 104 day(s) ago - refreshing...

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

This is the usual price. Wait for it to drop, or tell us your number.

£117 today · usual range £0–£0 · best ever £82

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 627 days • 627 data points (No recent data available)

Historical
Generating forecast...
£126.00 £77.26 £87.89 £98.53 £109.16 £119.80 £130.43 09 June 2024 12 November 2024 18 April 2025 21 September 2025 25 February 2026

Price Distribution

Price distribution over 627 days • 5 price ranges

Days at Price
Current Price
398 days 49 days 10 days 64 days · current 106 days 0 100 199 299 398 £82-91 £91-99 £99-108 £108-117 £117-126 Days at Price

Price Analysis

Most common range: £82-91 (398 days, 63.5%)

Price range: £82 - £126

Price levels: 5 price ranges over 627 days

Description

th FM 2009, the 16 International Symposium on Formal Methods, marked the 10th an- versary of the First World Congress on Formal Methods that was held in 1999 in Toulouse, France. We wished to celebrate this by advertising and organizing FM 2009 as the Second World Congress in the FM series, aiming to once again bring together the formal methods communities from all over the world. The statistics displayed in the table on the next page include the number of countries represented by the Programme Committee members, as well as of the authors of submitted and accepted papers. Novel this year was a special track on tools and industrial applications. Subm- sions of papers on these topics were especially encouraged, but not given any special treatment. (It was just as hard to get a special track paper accepted as any other paper.) What we did promote, however, was a discussion of how originality, contri- tion, and soundness should be judged for these papers. The following questions were used by our Programme Committee.

Product Specifications

Format
Paperback
Domain
Amazon UK
Release Date
26 October 2009
Listed Since
23 September 2009

Barcode

No barcode data available

Similar Products You Might Like

FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings: 8442 (Lecture Notes in Computer Science, 8442)
98% match

FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings: 8442 (Lecture Notes in Computer Science, 8442)

Springer

£78.84 08 Mar 2026
FM'99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, ... (Lecture Notes in Computer Science, 1709)
97% match

FM'99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, ... (Lecture Notes in Computer Science, 1709)

Springer

£107.95 08 Mar 2026
Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings: 13047 (Lecture Notes in Computer Science, 13047)
96% match

Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings: 13047 (Lecture Notes in Computer Science, 13047)

Springer

£85.08 12 Apr 2026
FME 2003: Formal Methods: International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings: 2805 (Lecture Notes in Computer Science, 2805)
96% match

FME 2003: Formal Methods: International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings: 2805 (Lecture Notes in Computer Science, 2805)

Springer

£82.18 12 Mar 2026
Mathematical Foundations of Computer Science 2009: 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009, ... (Lecture Notes in Computer Science, 5734)
96% match

Mathematical Foundations of Computer Science 2009: 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009, ... (Lecture Notes in Computer Science, 5734)

Springer

£84.52 01 Mar 2026
Exploring New Frontiers of Theoretical Informatics: IFIP 18th World Computer Congress TC1 3rd International Conference on Theoretical Computer Science ... and Communication Technology, 155)
96% match

Exploring New Frontiers of Theoretical Informatics: IFIP 18th World Computer Congress TC1 3rd International Conference on Theoretical Computer Science ... and Communication Technology, 155)

Springer

£105.46 12 Apr 2026
Rough Set and Knowledge Technology: 5th International Conference, RSKT 2010, Beijing, China, October 15-17, 2010, Proceedings: 6401 (Lecture Notes in Computer Science, 6401)
96% match

Rough Set and Knowledge Technology: 5th International Conference, RSKT 2010, Beijing, China, October 15-17, 2010, Proceedings: 6401 (Lecture Notes in Computer Science, 6401)

Springer

£39.10 10 Mar 2026
Fundamentals of Mathematics: Differential Calculus
96% match

Fundamentals of Mathematics: Differential Calculus

£27.00 19 Feb 2026
From Astrophysics to Unconventional Computation: Essays Presented to Susan Stepney on the Occasion of her 60th Birthday: 35 (Emergence, Complexity and Computation, 35)
96% match

From Astrophysics to Unconventional Computation: Essays Presented to Susan Stepney on the Occasion of her 60th Birthday: 35 (Emergence, Complexity and Computation, 35)

Springer

£77.19 08 Mar 2026
Mehrfachregelungen. Grundlagen einer Systemtheorie: Zweiter Band
96% match

Mehrfachregelungen. Grundlagen einer Systemtheorie: Zweiter Band

Springer

£49.73 07 Apr 2026
Progress in Industrial Mathematics at ECMI 2016: 26 (Mathematics in Industry, 26)
96% match

Progress in Industrial Mathematics at ECMI 2016: 26 (Mathematics in Industry, 26)

Springer

£137.00 14 Jan 2026
Accuracy Improvements in Linguistic Fuzzy Modeling: 129 (Studies in Fuzziness and Soft Computing, 129)
96% match

Accuracy Improvements in Linguistic Fuzzy Modeling: 129 (Studies in Fuzziness and Soft Computing, 129)

Springer

£113.11 08 Jan 2026
Advancing Computing, Communication, Control and Management: 56 (Lecture Notes in Electrical Engineering, 56)
96% match

Advancing Computing, Communication, Control and Management: 56 (Lecture Notes in Electrical Engineering, 56)

Springer

£150.40 25 Jan 2026
Formal Methods for Industrial Critical Systems: A Survey of Applications
96% match

Formal Methods for Industrial Critical Systems: A Survey of Applications

John Wiley & Sons Inc

£73.19 28 Feb 2026
Comprehensive Mathematics for Computer Scientists 2: Calculus and ODEs, Splines, Probability, Fourier and Wavelet Theory, Fractals and Neural Networks, Categories and Lambda Calculus (Universitext)
96% match

Comprehensive Mathematics for Computer Scientists 2: Calculus and ODEs, Splines, Probability, Fourier and Wavelet Theory, Fractals and Neural Networks, Categories and Lambda Calculus (Universitext)

Springer

£64.54 12 Dec 2025
Formal Methods: State of the Art and New Directions
96% match

Formal Methods: State of the Art and New Directions

Springer

£73.87 06 Feb 2026
Interdisciplinary Topics in Applied Mathematics, Modeling and Computational Science: 117 (Springer Proceedings in Mathematics & Statistics, 117)
96% match

Interdisciplinary Topics in Applied Mathematics, Modeling and Computational Science: 117 (Springer Proceedings in Mathematics & Statistics, 117)

Springer

£75.56 08 Mar 2026
Grundlagen der Informatik: für das Nebenfachstudium
96% match

Grundlagen der Informatik: für das Nebenfachstudium

Vieweg+Teubner Verlag

£46.99 05 Apr 2026
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing: 1012 (Studies in Computational Intelligence, 1012)
96% match

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing: 1012 (Studies in Computational Intelligence, 1012)

Springer

£103.00 08 Jan 2026
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing: 951 (Studies in Computational Intelligence, 951)
95% match

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing: 951 (Studies in Computational Intelligence, 951)

Springer

£103.30 02 Mar 2026
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing: 951 (Studies in Computational Intelligence, 951)
95% match

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing: 951 (Studies in Computational Intelligence, 951)

Springer

£99.44 27 Feb 2026
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing: 850 (Studies in Computational Intelligence, 850)
95% match

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing: 850 (Studies in Computational Intelligence, 850)

Springer

£74.76 21 Feb 2026
Constructive Analysis: 279 (Grundlehren der mathematischen Wissenschaften, 279)
95% match

Constructive Analysis: 279 (Grundlehren der mathematischen Wissenschaften, 279)

Springer

£100.88 10 Apr 2026
Artificial Intelligence in Theory and Practice III: Third IFIP TC 12 International Conference on Artificial Intelligence, IFIP AI 2010, Held as Part ... and Communication Technology, 331)
95% match

Artificial Intelligence in Theory and Practice III: Third IFIP TC 12 International Conference on Artificial Intelligence, IFIP AI 2010, Held as Part ... and Communication Technology, 331)

Springer

£45.40 06 Mar 2026