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

£89.29

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

Name: FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings: 5850 (Lecture Notes in Computer Science, 5850)
Brand: Springer
Price: 89.29 GBP
Availability: InStock

43187-18116

Compilers

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

£89 today · all-time low £89 (Apr 2026) · usually £89

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

Historical

Generating forecast…

Price Distribution

Price distribution over 69 days • 1 price levels

Days at Price

Price Analysis

Most common price: £89 (69 days, 100.0%)

Price range: £89 - £89

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

Brand: Springer
Model: 43187-18116
Format: paperback
ASIN: 3642050883
Category: Books > Subjects > Computing & Internet > Programming > Compilers
Domain: Amazon UK
Release Date: 26 October 2009
Listed Since: 23 September 2009

Barcode

No barcode data available

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

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

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

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)

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)

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

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

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)

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

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

Fundamentals of Mathematics: Differential Calculus

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

Mehrfachregelungen. Grundlagen einer Systemtheorie: Zweiter Band

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

Formal Methods for Industrial Critical Systems: A Survey of Applications

Formal Methods: State of the Art and New Directions

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

Grundlagen der Informatik: für das Nebenfachstudium

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

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

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

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

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)

Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)

Artificial Intelligence and Soft Computing: 19th International Conference, ICAISC 2020, Zakopane, Poland, October 12-14, 2020, Proceedings, Part I: 12415 (Lecture Notes in Computer Science, 12415)

Algorithms as a Basis of Modern Applied Mathematics: 404 (Studies in Fuzziness and Soft Computing, 404)

Quantitative Logic and Soft Computing 2016: Proceedings of the 4th International Conference on Quantitative Logic and Soft Computing (QLSC2016) held ... in Intelligent Systems and Computing, 510)