£41.42

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)

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

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.

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

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

Historical
Generating forecast…
£41.42 £41.40 £41.40 £41.41 £41.41 £41.42 £41.42 26 April 2026 15 May 2026 04 June 2026 23 June 2026 13 July 2026

Price Distribution

Price distribution over 79 days • 1 price levels

Days at Price
79 days 0 20 40 59 79 £41 Days at Price

Price Analysis

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

Price range: £41 - £41

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

£46.51 13 Jul 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.82 15 Jul 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.59 09 Jul 2026
Modern Formal Methods and Applications
96% match

Modern Formal Methods and Applications

Springer

£81.52 27 Jun 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 09 Jul 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

£89.29 03 Jul 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.58 13 Jul 2026
Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings: 13047 (Lecture Notes in Computer Science, 13047)
95% 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
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 09 Jul 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.42 16 Jul 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

£148.27 16 Jun 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

£150.95 17 Jun 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

£42.99 15 Jul 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.72 04 Jul 2026
Software Engineering and Formal Methods: 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings: 13085 (Lecture Notes in Computer Science, 13085)
95% match

Software Engineering and Formal Methods: 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings: 13085 (Lecture Notes in Computer Science, 13085)

Springer

£61.79 04 Jul 2026
Formal Methods for Industrial Critical Systems: A Survey of Applications
94% match

Formal Methods for Industrial Critical Systems: A Survey of Applications

John Wiley & Sons Inc

£73.99 04 Jul 2026
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops: AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26–30, 2022, ... (Lecture Notes in Computer Science, 13765)
94% match

Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops: AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26–30, 2022, ... (Lecture Notes in Computer Science, 13765)

Springer

£84.31 04 Jul 2026
Intelligent Computer Mathematics: 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5–9, 2024, Proceedings: 14960 (Lecture Notes in Computer Science, 14960)
94% match

Intelligent Computer Mathematics: 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5–9, 2024, Proceedings: 14960 (Lecture Notes in Computer Science, 14960)

Springer

£85.07 24 Jun 2026
Industrial-Strength Formal Methods in Practice (Formal Approaches to Computing and Information Technology (FACIT))
94% match

Industrial-Strength Formal Methods in Practice (Formal Approaches to Computing and Information Technology (FACIT))

Springer

£82.10 04 Jul 2026
Foundation of Software Science and Computation Structures: Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences ... (Lecture Notes in Computer Science, 1784)
94% match

Foundation of Software Science and Computation Structures: Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences ... (Lecture Notes in Computer Science, 1784)

Springer

£44.95 07 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)
94% 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
Frontiers in Algorithmics and Algorithmic Aspects in Information and Management: Joint International Conference, FAW-AAIM 2012, Beijing, China, May ... (Lecture Notes in Computer Science, 7285)
94% match

Frontiers in Algorithmics and Algorithmic Aspects in Information and Management: Joint International Conference, FAW-AAIM 2012, Beijing, China, May ... (Lecture Notes in Computer Science, 7285)

Springer

£41.42 15 Jul 2026
Programming and Mathematical Method: International Summer School: 88 (NATO ASI Subseries F:, 88)
94% match

Programming and Mathematical Method: International Summer School: 88 (NATO ASI Subseries F:, 88)

Springer

£77.89 13 Jul 2026
Automata, Languages and Programming: 13th International Colloquium, Rennes, France, July 15-19, 1986. Proceedings: 226 (Lecture Notes in Computer Science, 226)
94% match

Automata, Languages and Programming: 13th International Colloquium, Rennes, France, July 15-19, 1986. Proceedings: 226 (Lecture Notes in Computer Science, 226)

Springer

£42.90 15 Jul 2026