£77.59

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

Price data last checked 16 day(s) ago - will refresh soon

View at Amazon

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

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

£78 today · all-time low £77 (May 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 75 days · 75 data points (no recent data)

Historical
Generating forecast…
£78.84 £77.18 £77.54 £77.90 £78.27 £78.63 £78.99 26 April 2026 14 May 2026 02 June 2026 20 June 2026 09 July 2026

Price Distribution

Price distribution over 75 days • 2 price levels

Days at Price
Current Price
57 days · current 18 days 0 14 29 43 57 £77 £79 Days at Price

Price Analysis

Most common price: £77 (57 days, 76.0%)

Price range: £77 - £79

Price levels: 2 different prices over 75 days

Description

This book constitutes the refereed proceedings of the 19th International Symposium on Formal Methods, FM 2014, held in Singapore, May 2014. The 45 papers presented together with 3 invited talks were carefully reviewed and selected from 150 submissions. The focus of the papers is on the following topics: Interdisciplinary Formal Methods, Practical Applications of Formal Methods in Industrial and Research Settings, Experimental Validation of Tools and Methods as well as Construction and Evolution of Formal Methods Tools. From the Back Cover This book constitutes the refereed proceedings of the 19th International Symposium on Formal Methods, FM 2014, held in Singapore, May 2014. The 45 papers presented together with 3 invited talks were carefully reviewed and selected from 150 submissions. The focus of the papers is on the following topics: Interdisciplinary Formal Methods, Practical Applications of Formal Methods in Industrial and Research Settings, Experimental Validation of Tools and Methods as well as Construction and Evolution of Formal Methods Tools.

Product Specifications

Format
paperback
Domain
Amazon UK
Publication Date
09 April 2014
Listed Since
21 March 2014

Barcode

No barcode data available

Similar Products You Might Like

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

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

Springer

£89.29 03 Jul 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

£89.99 09 Jul 2026
Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings: 13047 (Lecture Notes in Computer Science, 13047)
97% match

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

Springer

£85.23 14 Jul 2026
Cybernetics Approaches in Intelligent Systems: Computational Methods in Systems and Software 2017, vol. 1: 661 (Advances in Intelligent Systems and Computing)
97% match

Cybernetics Approaches in Intelligent Systems: Computational Methods in Systems and Software 2017, vol. 1: 661 (Advances in Intelligent Systems and Computing)

Springer

£107.98 12 Jul 2026
From Astrophysics to Unconventional Computation: Essays Presented to Susan Stepney on the Occasion of her 60th Birthday: 35 (Emergence, Complexity and Computation, 35)
97% 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.59 09 Jul 2026
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing: 951 (Studies in Computational Intelligence, 951)
97% match

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

Springer

£103.30 06 Jul 2026
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing: 951 (Studies in Computational Intelligence, 951)
97% match

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

Springer

£99.44 04 Jul 2026
Applications + Practical Conceptualization + Mathematics = fruitful Innovation: Proceedings of the Forum of Mathematics for Industry 2014: 11
97% match

Applications + Practical Conceptualization + Mathematics = fruitful Innovation: Proceedings of the Forum of Mathematics for Industry 2014: 11

Springer

£71.08 06 Jul 2026
Applications + Practical Conceptualization + Mathematics = fruitful Innovation: Proceedings of the Forum of Mathematics for Industry 2014: 11
97% match

Applications + Practical Conceptualization + Mathematics = fruitful Innovation: Proceedings of the Forum of Mathematics for Industry 2014: 11

Springer

£132.87 06 Jul 2026
Applied Computational Intelligence and Mathematical Methods: Computational Methods in Systems and Software 2017, vol. 2: 662 (Advances in Intelligent Systems and Computing)
97% match

Applied Computational Intelligence and Mathematical Methods: Computational Methods in Systems and Software 2017, vol. 2: 662 (Advances in Intelligent Systems and Computing)

Springer

£93.24 11 Jul 2026
Springer Mathematical Methods and Modelling in Applied Sciences
97% match

Springer Mathematical Methods and Modelling in Applied Sciences

Springer

£115.51 15 Jul 2026
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing: 850 (Studies in Computational Intelligence, 850)
97% match

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

Springer

£76.00 02 Jul 2026
Computational Science/Intelligence and Applied Informatics: 848 (Studies in Computational Intelligence, 848)
96% match

Computational Science/Intelligence and Applied Informatics: 848 (Studies in Computational Intelligence, 848)

Springer

£92.20 06 Jul 2026
Advances in Computational Science and Computing: 877 (Advances in Intelligent Systems and Computing, 877)
96% match

Advances in Computational Science and Computing: 877 (Advances in Intelligent Systems and Computing, 877)

Springer

£146.28 10 Jul 2026
Technological Innovation for the Internet of Things: 4th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, ... and Communication Technology, 394)
96% match

Technological Innovation for the Internet of Things: 4th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, ... and Communication Technology, 394)

Springer

£77.33 03 Jul 2026
Proceedings of ECCS 2014: European Conference on Complex Systems (Springer Proceedings in Complexity)
96% match

Proceedings of ECCS 2014: European Conference on Complex Systems (Springer Proceedings in Complexity)

Springer

£110.34 14 Jul 2026
Informatics in Control, Automation and Robotics: 9th International Conference, ICINCO 2012 Rome, Italy, July 28-31, 2012 Revised Selected Papers: 283 (Lecture Notes in Electrical Engineering, 283)
96% match

Informatics in Control, Automation and Robotics: 9th International Conference, ICINCO 2012 Rome, Italy, July 28-31, 2012 Revised Selected Papers: 283 (Lecture Notes in Electrical Engineering, 283)

Springer

£76.41 09 Jul 2026
Creativity and HCI: From Experience to Design in Education: Selected Contributions from HCIEd 2007, March 29-30, 2007, Aveiro, Portugal: 289 (IFIP ... and Communication Technology, 289)
96% match

Creativity and HCI: From Experience to Design in Education: Selected Contributions from HCIEd 2007, March 29-30, 2007, Aveiro, Portugal: 289 (IFIP ... and Communication Technology, 289)

Springer

£76.41 05 Jul 2026
Recent Advances in Computer Science and Information Engineering: Volume 1: 124 (Lecture Notes in Electrical Engineering, 124)
96% match

Recent Advances in Computer Science and Information Engineering: Volume 1: 124 (Lecture Notes in Electrical Engineering, 124)

Springer

£123.38 14 Jul 2026
Learning Experiences To Promote Mathematics Learning: Yearbook 2014, Association Of Mathematics Educators
96% match

Learning Experiences To Promote Mathematics Learning: Yearbook 2014, Association Of Mathematics Educators

World Scientific Publishing Company

£51.00 11 Jul 2026
Adventures of Mind and Mathematics (Mathematics in Mind)
96% match

Adventures of Mind and Mathematics (Mathematics in Mind)

Springer

£92.17 04 Jul 2026
Fundamentals of Mathematics: Differential Calculus
96% match

Fundamentals of Mathematics: Differential Calculus

G.K PUBLICATIONS PVT.LTD

£34.89 02 Jul 2026
Algorithms as a Basis of Modern Applied Mathematics: 404 (Studies in Fuzziness and Soft Computing, 404)
96% match

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

Springer

£142.97 12 Jul 2026
Adventures of Mind and Mathematics (Mathematics in Mind)
96% match

Adventures of Mind and Mathematics (Mathematics in Mind)

Springer

£92.16 10 Jul 2026