£78.84

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 93 day(s) ago - refreshing...

View at Amazon

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

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

£79 today · previous high £79 · all-time low £74

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

Historical
Generating forecast...
£78.84 £72.97 £74.25 £75.53 £76.81 £78.09 £79.37 09 June 2024 15 November 2024 23 April 2025 29 September 2025 08 March 2026

Price Distribution

Price distribution over 638 days • 3 price levels

Days at Price
Current Price
377 days 235 days 26 days · current 0 94 189 283 377 £74 £77 £79 Days at Price

Price Analysis

Most common price: £74 (377 days, 59.1%)

Price range: £74 - £79

Price levels: 3 different prices over 638 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

£116.76 25 Feb 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)
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.08 12 Apr 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

£113.25 01 Apr 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.19 08 Mar 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 02 Mar 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 27 Feb 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 01 Mar 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

£76.66 01 Mar 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

£104.29 16 Mar 2026
Springer Mathematical Methods and Modelling in Applied Sciences
97% match

Springer Mathematical Methods and Modelling in Applied Sciences

Springer

£115.51 16 Apr 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

£74.76 21 Feb 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.34 01 Mar 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
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

£147.24 10 Mar 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.39 23 Feb 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 Apr 2026
The 21st Century from the Positions of Modern Science: Intellectual, Digital and Innovative Aspects: 91 (Lecture Notes in Networks and Systems, 91)
96% match

The 21st Century from the Positions of Modern Science: Intellectual, Digital and Innovative Aspects: 91 (Lecture Notes in Networks and Systems, 91)

Springer

£136.74 12 Dec 2025
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

£75.84 08 Mar 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

£78.32 28 Feb 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

£128.38 13 Apr 2026
Advanced Technology in Teaching: Selected papers from the 2012 International Conference on Teaching and Computational Science (ICTCS 2012): 163 (Advances in Intelligent and Soft Computing, 163)
96% match

Advanced Technology in Teaching: Selected papers from the 2012 International Conference on Teaching and Computational Science (ICTCS 2012): 163 (Advances in Intelligent and Soft Computing, 163)

Springer

£125.00 12 Jan 2026
Advances in Computer, Communication, Control and Automation: 121 (Lecture Notes in Electrical Engineering, 121)
96% match

Advances in Computer, Communication, Control and Automation: 121 (Lecture Notes in Electrical Engineering, 121)

Springer

£180.00 11 Jan 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 17 Mar 2026