£41.43

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

£41 today · previous high £41 · all-time low £41

Springer Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised ... (Lecture Notes in Computer Science, 6527)

Amazon

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 68 days · 68 data points (no recent data)

Historical
Generating forecast…
£41.43 £39.35 £40.18 £41.01 £41.84 £42.67 £43.50 25 July 2026 10 August 2026 27 August 2026 13 September 2026 30 September 2026
View at Amazon ↗

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

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 Distribution

Price distribution over 68 days • 1 price levels

Days at Price
68 days 0 17 34 51 68 £41 Days at Price

Price Analysis

Most common price: £41 (68 days, 100.0%)

Price range: £41 - £41

Price levels: 1 different prices over 68 days

Description

This book constitutes the thoroughly refereed post-conference proceedings of the 13th Brazilian Symposium on Formal Methods, SBMF 2010, held in Natal, Brazil, in November 2010. The 18 revised full papers were carefully reviewed and selected from 55 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
23 March 2011
Listed Since
14 February 2011

Barcode

No barcode data available

Similar Products You Might Like

Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 ― December 1, 2017, Proceedings: 10623 (Lecture Notes in Computer Science, 10623)
97% match

Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 ― December 1, 2017, Proceedings: 10623 (Lecture Notes in Computer Science, 10623)

Springer

£49.14 30 Sep 2026
Formal Methods: Foundations and Applications: 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings: 12475 (Lecture Notes in Computer Science, 12475)
97% match

Formal Methods: Foundations and Applications: 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings: 12475 (Lecture Notes in Computer Science, 12475)

Springer

£49.10 05 Oct 2026
Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised ... (Lecture Notes in Computer Science, 5902)
96% match

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised ... (Lecture Notes in Computer Science, 5902)

Springer

£44.74 03 Oct 2026
Modern Formal Methods and Applications
96% match

Modern Formal Methods and Applications

Springer

£83.73 06 Oct 2026
Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings: 9276 (Lecture Notes in Computer Science, 9276)
96% match

Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings: 9276 (Lecture Notes in Computer Science, 9276)

Springer

£41.43 04 Oct 2026
FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings: 8442 (Lecture Notes in Computer Science, 8442)
96% match

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

Springer

£77.49 24 Sep 2026
Modern Formal Methods and Applications
96% match

Modern Formal Methods and Applications

Springer

£81.56 05 Sep 2026
FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings: 4085 (Lecture Notes in Computer Science, 4085)
96% match

FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings: 4085 (Lecture Notes in Computer Science, 4085)

Springer

£59.83 08 Oct 2026
Integrated Formal Methods: 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings: 14300 (Lecture Notes in Computer Science, 14300)
95% match

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

Springer

£90.81 24 Sep 2026
FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings: 5850 (Lecture Notes in Computer Science, 5850)
95% match

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

Springer

£84.47 13 Sep 2026
Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings: 11254 (Lecture Notes in Computer Science, 11254)
95% match

Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings: 11254 (Lecture Notes in Computer Science, 11254)

Springer

£47.59 07 Oct 2026
Formal Modeling and Analysis of Timed Systems: 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings: 13465 (Lecture Notes in Computer Science, 13465)
95% match

Formal Modeling and Analysis of Timed Systems: 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings: 13465 (Lecture Notes in Computer Science, 13465)

Springer

£43.30 17 Oct 2026
Mathematical Software -- ICMS 2014: 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings: 8592 (Lecture Notes in Computer Science, 8592)
95% match

Mathematical Software -- ICMS 2014: 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings: 8592 (Lecture Notes in Computer Science, 8592)

Springer

£42.52 30 Sep 2026
Mathematical Foundations of Computer Science 2003: 28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003, Proceedings: 2747 (Lecture Notes in Computer Science, 2747)
95% match

Mathematical Foundations of Computer Science 2003: 28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003, Proceedings: 2747 (Lecture Notes in Computer Science, 2747)

Springer

£85.66 24 Sep 2026
Formal Methods in Computer-Aided Design: Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings: 1954 (Lecture Notes in Computer Science, 1954)
95% match

Formal Methods in Computer-Aided Design: Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings: 1954 (Lecture Notes in Computer Science, 1954)

Springer

£81.01 05 Oct 2026
Programming Languages: 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings: 9889 (Lecture Notes in Computer Science, 9889)
95% match

Programming Languages: 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings: 9889 (Lecture Notes in Computer Science, 9889)

Springer

£41.43 03 Oct 2026
Formal Languages and Applications: 148 (Studies in Fuzziness and Soft Computing, 148)
95% match

Formal Languages and Applications: 148 (Studies in Fuzziness and Soft Computing, 148)

Springer

£149.54 20 Aug 2026
Formal Languages and Applications: 148 (Studies in Fuzziness and Soft Computing, 148)
95% match

Formal Languages and Applications: 148 (Studies in Fuzziness and Soft Computing, 148)

Springer

£147.22 19 Aug 2026
Recent Advances in Formal Languages and Applications - Studies in Computational Intelligence
95% match

Recent Advances in Formal Languages and Applications - Studies in Computational Intelligence

Springer

£110.53 17 Oct 2026
Formal Methods in Empirical Sciences - 1974 Conference Proceedings
95% match

Formal Methods in Empirical Sciences - 1974 Conference Proceedings

Springer

£126.89 14 Oct 2026
Formal Concept Analysis: 5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007, Proceedings: 4390 (Lecture Notes in Computer Science, 4390)
95% match

Formal Concept Analysis: 5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007, Proceedings: 4390 (Lecture Notes in Computer Science, 4390)

Springer

£36.64 03 Oct 2026
Third International Conference on Logic Programming: Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986. Proceedings: 225 (Lecture Notes in Computer Science, 225)
95% match

Third International Conference on Logic Programming: Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986. Proceedings: 225 (Lecture Notes in Computer Science, 225)

Springer

£44.99 12 Sep 2026
Logics of Programs: Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983: 164 (Lecture Notes in Computer Science, 164)
95% match

Logics of Programs: Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983: 164 (Lecture Notes in Computer Science, 164)

Springer

£41.11 02 Oct 2026
Mathematical Foundations of Computer Science 1998: 23rd International Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998: 1450 (Lecture Notes in Computer Science, 1450)
95% match

Mathematical Foundations of Computer Science 1998: 23rd International Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998: 1450 (Lecture Notes in Computer Science, 1450)

Springer

£84.62 18 Sep 2026