We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£44.74
About as cheap as it gets — within 5% of the all-time low it hit 1 month ago.
£45 today · all-time low £44 (Sep 2026) · usually £44
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)
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 70 days · 70 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 70 days • 2 price levels
Price Analysis
Most common price: £45 (47 days, 67.1%)
Price range: £44 - £45
Price levels: 2 different prices over 70 days
Description
Product Specifications
- Brand
- Springer
- Format
- paperback
- ASIN
- 3642104517
- Domain
- Amazon UK
- Release Date
- 09 November 2009
- Listed Since
- 14 October 2009
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)
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)
Springer
Formal Methods: State of the Art and New Directions
Springer
FME 2003: Formal Methods: International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings: 2805 (Lecture Notes in Computer Science, 2805)
Springer
Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected ... (Lecture Notes in Computer Science, 10712)
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
Software Testing: A Craftsman’s Approach, Fifth Edition
CRC Press
Artech House Software Test Design Practitioner's Guide
Artech House
FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings: 8442 (Lecture Notes in Computer Science, 8442)
Springer
Industrial-Strength Formal Methods in Practice (Formal Approaches to Computing and Information Technology (FACIT))
Springer
Tool Support for System Specification, Development and Verification (Advances in Computing Sciences)
Springer
Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct ... 863 (Lecture Notes in Computer Science, 863)
Springer
Systematic Software Testing (Computing Library)
Artech House
Fundamentals of Software Testing: An Overview: Software Engineering
LAP Lambert Academic Publishing
Green and Sustainable Computing: Part II (Volume 88) (Advances in Computers, Volume 88)
Elsevier
Introduction to Software Testing
Cambridge University Press
Fundamentals of Software Testing: 590 (Iste)
Wiley
Advances in Computers: Volume 112
Elsevier
Formalization of Complex Analysis and Matrix Theory
Springer
Software-Qualität: Testen, Analysieren und Verifizieren von Software
Springer Spektrum
Concise Guide to Software Verification: From Model Checking to Annotation Checking (Texts in Computer Science)
Springer
Formal Methods and Models for System Design - Springer
Springer
How to Reduce the Cost of Software Testing
CRC Press
Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings: 3114 (Lecture Notes in Computer Science, 3114)
Springer