We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£163.87
Springer Formal Description Techniques IX: Theory, application and tools (IFIP Advances in Information and Communication Technology)
Price data last checked 30 day(s) ago - will refresh soon
We'll watch every seller, every day. One email when your price arrives.
About as cheap as it gets. The only time it was cheaper was 2 months ago.
£164 today · all-time low £161 (May 2026) · usually £164
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 History & Forecast
Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.
Last 61 days · 61 data points (no recent data)
Price Distribution
Price distribution over 61 days • 5 price levels
Price Analysis
Most common price: £165 (19 days, 31.1%)
Price range: £161 - £165
Price levels: 5 different prices over 61 days
Description
Product Specifications
- Brand
- Springer
- Format
- hardcover
- ASIN
- 041279490X
- Domain
- Amazon UK
- Release Date
- 30 September 1996
- Listed Since
- 16 December 2006
Barcode
No barcode data available
Similar Products You Might Like
Formal Description Techniques VIII: 8 (IFIP Advances in Information and Communication Technology)
Springer
Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE XI/PSTV XVIII’98 IFIP TC6 WG6.1 Joint International ... Information and Communication Technology, 6)
Springer
Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE XI/PSTV XVIII’98 IFIP TC6 WG6.1 Joint International ... Information and Communication Technology, 6)
Springer
Formal Methods for Protocol Engineering and Distributed Systems: Forte XII / PSTV XIX’99: 28 (IFIP Advances in Information and Communication Technology, 28)
Springer
Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2016: 454 (Lecture Notes in Electrical Engineering, 454)
Springer
Springer Protocol Test Systems - 7th IFIP WG 6.1 Workshop
Springer
Springer Advances in Design and Specification Languages Book
Springer
Formal Techniques for Networked and Distributed Systems: FORTE 2001: 69 (IFIP Advances in Information and Communication Technology, 69)
Springer
Formal Techniques for Distributed Systems: Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International ... (Lecture Notes in Computer Science, 7892)
Springer
Foundations of Information Technology in the Era of Network and Mobile Computing: IFIP 17th World Computer Congress ― TC1 Stream / 2nd IFIP ... Information and Communication Technology, 96)
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
Springer Communication Protocol Specification and Verification 464
Springer
Communication Protocol Specification and Verification: 464 (The Springer International Series in Engineering and Computer Science, 464)
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
Testing of Communicating Systems XIV: Application to Internet Technologies and Services: 82 (IFIP Advances in Information and Communication Technology, 82)
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 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
Information Technology for Education, Science, and Technics: Proceedings of ITEST 2024, Volume 1: 221 (Lecture Notes on Data Engineering and Communications Technologies, 221)
Springer
FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings: 8442 (Lecture Notes in Computer Science, 8442)
Springer
Formal Techniques for Networked and Distributed Systems - FORTE 2006: 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, ... (Lecture Notes in Computer Science, 4229)
Springer
Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based ... Information and Communication Technology, 81)
Springer
FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings: 5850 (Lecture Notes in Computer Science, 5850)
Springer
Software Defect and Operational Profile Modeling: 4 (International Series in Software Engineering)
Springer
FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems
Springer