We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£49.14
This is the most expensive it has ever been. Walk away.
£49 today · previous high £49 · all-time low £47
Springer 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)
We'll watch every seller, every day. One email when your price arrives.
Price History & Forecast
Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.
Last 67 days · 67 data points (no recent data)
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
when this has been cheap or pricey
where the price is heading next
all-time high & low, recent range
name your number, we'll email you
Price Distribution
Price distribution over 67 days • 2 price levels
Price Analysis
Most common price: £49 (50 days, 74.6%)
Price range: £47 - £49
Price levels: 2 different prices over 67 days
Description
Product Specifications
- Brand
- Springer
- Format
- paperback
- ASIN
- 3319708473
- Domain
- Amazon UK
- Release Date
- 12 November 2017
- Listed Since
- 12 October 2017
Barcode
No barcode data available
Similar Products You Might Like
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)
Springer
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
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
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
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
NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings: 11460 (Lecture Notes in Computer Science, 11460)
Springer
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
Formal Methods for Industrial Critical Systems: A Survey of Applications
Wiley
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
Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)
Springer
The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday: 13360 (Lecture Notes in Computer Science, 13360)
Springer
FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings: 8442 (Lecture Notes in Computer Science, 8442)
Springer
Formal Methods and Models for System Design - Springer
Springer
Programming Languages and Systems: 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings: 10695 (Lecture Notes in Computer Science, 10695)
Springer
Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and ... Greece, April 14-20, 2018, Proceedings
Saint Philip Street Press
Software Verification Based on Game Semantics and Process Algebra: A Game Semantic Framework for Verifying Safety Properties of Open Programs
VDM Verlag
Verification, Model Checking, and Abstract Interpretation: 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, ... (Lecture Notes in Computer Science, 12597)
Springer
Transitions and Trees: An Introduction to Structural Operational Semantics
Cambridge University Press
Runtime Verification: 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings: 8174 (Lecture Notes in Computer Science, 8174)
Springer
Foundations of Software Science and Computational Structures: 15th International Conference, FOSSACS 2012, Held as Part of the European Joint ... (Lecture Notes in Computer Science, 7213)
Springer
Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)
Springer
Understanding Programming Languages
Springer
Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science)
Springer
Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)
Springer