We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£149.64
Springer Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII ’97 (IFIP Advances in Information and Communication Technology)
Price data checked 1 day ago
We'll watch every seller, every day. One email when your price arrives.
This is the most expensive it has ever been. Walk away.
£150 today · previous high £150 · all-time low £148
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 90 days • 90 data points
Price Distribution
Price distribution over 90 days • 2 price levels
Price Analysis
Most common price: £150 (75 days, 83.3%)
Price range: £148 - £150
Price levels: 2 different prices over 90 days
Description
Product Specifications
- Brand
- Springer
- Format
- paperback
- ASIN
- 1475752601
- Domain
- Amazon UK
- Publication Date
- 11 January 2013
- Listed Since
- 07 November 2013
Barcode
No barcode data available
Similar Products You Might Like
Formal Methods for Protocol Engineering and Distributed Systems: Forte XII / PSTV XIX’99: 28 (IFIP Advances in Information and Communication Technology, 28)
Springer
Protocol Specification, Testing and Verification XIV (IFIP Advances in Information and Communication Technology)
Springer
Formal Methods for Open Object-based Distributed Systems: Volume 1 (IFIP Advances in Information and Communication Technology)
Springer
Algebraic Methodology and Software Technology: 6th International Conference, AMAST '97, Sydney, Australia, Dezember 13-17, 1997. Proceedings: 1349 (Lecture Notes in Computer Science, 1349)
Springer
Programming Concepts and Methods PROCOMET ’98: IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET ’98) 8–12 ... in Information and Communication Technology)
Springer
Performance and Management of Complex Communication Networks: IFIP TC6 / WG6.3 & WG7.3 International Conference on the Performance and Management of ... in Information and Communication Technology)
Springer
Formal Aspects in Security and Trust: IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22-27, ... and Communication Technology, 173)
Springer
Advances in Formal Design Methods for CAD: Proceedings of the IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995 (IFIP ... in Information and Communication Technology)
Springer
Futuristic Trends in Network and Communication Technologies: First International Conference, FTNCT 2018, Solan, India, February 9–10, 2018, Revised ... in Computer and Information Science, 958)
Springer
Testing of Communicating Systems: Methods and Applications: 21 (IFIP Advances in Information and Communication Technology, 21)
Springer
New Technologies, Mobility and Security
Springer
Advances in Design and Specification Languages for Embedded Systems: Selected Contributions from FDL’06
Springer
Communication-Based Systems: Proceeding of the 3rd International Workshop held at the TU Berlin, Germany, 31 March – 1 April 2000
Springer
Fault-Tolerant Parallel and Distributed Systems
Springer
Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings: 14000 (Lecture Notes in Computer Science, 14000)
Springer
Formal Methods: 27th International Symposium, FM 2026, Tokyo, Japan, May 18–22, 2026, Proceedings, Part II (Lecture Notes in Computer Science, 16557)
Springer
Advances in Network and Distributed Systems Security: IFIP TC11 WG11.4 First Annual Working Conference on Network Security November 26–27, 2001, ... Information and Communication Technology, 78)
Springer
Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2013: 311 (Lecture Notes in Electrical Engineering, 311)
Springer
Embedded Systems Specification and Design Languages: Selected Contributions from FDL’07: 10 (Lecture Notes in Electrical Engineering, 10)
Springer
AMST'99 - Advanced Manufacturing Systems and Technology: Proceedings of the Fifth International Conference: 406 (CISM International Centre for Mechanical Sciences, 406)
Springer
Logic and Algebra of Specification: 94 (NATO ASI Subseries F:, 94)
Springer
Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II: 14934 (Lecture Notes in Computer Science, 14934)
Springer
Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s: Selected Contributions on Specification, Design, and Verification ... (Lecture Notes in Electrical Engineering, 63)
Springer
Research Perspectives and Case Studies in System Test and Diagnosis: 13 (Frontiers in Electronic Testing, 13)
Springer