£135.60

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 5 days ago

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

This is the usual price. Wait for it to drop, or tell us your number.

£136 today · usual range £129–£136 · best ever £129

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 86 days • 86 data points (No recent data available)

Historical
Generating forecast...
£136.15 £128.42 £130.10 £131.79 £133.48 £135.17 £136.85 09 March 2026 30 March 2026 20 April 2026 11 May 2026 02 June 2026

Price Distribution

Price distribution over 86 days • 5 price levels

Days at Price
Current Price
27 days 20 days 4 days 15 days 20 days 0 7 14 20 27 £129 £132 £133 £134 £136 Days at Price

Price Analysis

Most common price: £129 (27 days, 31.4%)

Price range: £129 - £136

Price levels: 5 different prices over 86 days

Description

FORTE/PSTV '97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, Logic). The conference is a forum for presentation of the state-of-the-art in theory, application, tools and industrialization of FDTs, and provides an excellent orientation for newcomers.

Product Specifications

Format
hardcover
Domain
Amazon UK
Release Date
31 October 1997
Listed Since
30 June 2006

Barcode

No barcode data available

Similar Products You Might Like

Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII ’97 (IFIP Advances in Information and Communication Technology)
99% match

Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII ’97 (IFIP Advances in Information and Communication Technology)

Springer

£148.05 28 May 2026
Formal Methods for Protocol Engineering and Distributed Systems: Forte XII / PSTV XIX’99: 28 (IFIP Advances in Information and Communication Technology, 28)
89% match

Formal Methods for Protocol Engineering and Distributed Systems: Forte XII / PSTV XIX’99: 28 (IFIP Advances in Information and Communication Technology, 28)

Springer

£148.05 04 Jun 2026
Formal Techniques for Networked and Distributed Systems: FORTE 2001: 69 (IFIP Advances in Information and Communication Technology, 69)
87% match

Formal Techniques for Networked and Distributed Systems: FORTE 2001: 69 (IFIP Advances in Information and Communication Technology, 69)

Springer

£138.06 04 Jun 2026
Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques ... Information and Communication Technology, 55)
86% match

Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques ... Information and Communication Technology, 55)

Springer

£133.16 05 Jun 2026
Protocol Specification, Testing and Verification XIV (IFIP Advances in Information and Communication Technology)
82% match

Protocol Specification, Testing and Verification XIV (IFIP Advances in Information and Communication Technology)

Springer

£107.98 02 Jun 2026
Formal Description Techniques VII (IFIP Advances in Information and Communication Technology)
79% match

Formal Description Techniques VII (IFIP Advances in Information and Communication Technology)

Springer

£154.48 02 Jun 2026
Testing of Communicating Systems: Tools and Techniques. IFIP TC6/WG6.1 13th International Conference on Testing of Communicating Systems (TestCom ... in Information and Communication Technology)
78% match

Testing of Communicating Systems: Tools and Techniques. IFIP TC6/WG6.1 13th International Conference on Testing of Communicating Systems (TestCom ... in Information and Communication Technology)

Springer

£149.21 06 Jun 2026
Testing of Communicating Systems: Proceedings of the IFIP TC6 11th International Workshop on Testing of Communicating Systems (IWTCS’98) August ... Information and Communication Technology, 3)
78% match

Testing of Communicating Systems: Proceedings of the IFIP TC6 11th International Workshop on Testing of Communicating Systems (IWTCS’98) August ... Information and Communication Technology, 3)

Springer

£120.48 01 Jun 2026
Formal Methods for Open Object-based Distributed Systems: Volume 1 (IFIP Advances in Information and Communication Technology)
78% match

Formal Methods for Open Object-based Distributed Systems: Volume 1 (IFIP Advances in Information and Communication Technology)

Springer

£156.00 18 May 2026
Testing of Communicating Systems: IFIP TC6 10th International Workshop on Testing of Communicating Systems, 8–10 September 1997, Cheju Island, Korea ... in Information and Communication Technology)
77% match

Testing of Communicating Systems: IFIP TC6 10th International Workshop on Testing of Communicating Systems, 8–10 September 1997, Cheju Island, Korea ... in Information and Communication Technology)

Springer

£179.99 01 Jun 2026
Algebraic Methodology and Software Technology: 6th International Conference, AMAST '97, Sydney, Australia, Dezember 13-17, 1997. Proceedings: 1349 (Lecture Notes in Computer Science, 1349)
77% match

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

£95.37 21 May 2026
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)
77% match

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

£145.12 25 May 2026
Testing of Communicating Systems XIV: Application to Internet Technologies and Services: 82 (IFIP Advances in Information and Communication Technology)
77% match

Testing of Communicating Systems XIV: Application to Internet Technologies and Services: 82 (IFIP Advances in Information and Communication Technology)

Springer

£113.09 05 Jun 2026
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)
77% match

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

£76.38 03 Jun 2026
Testing of Communicating Systems: Methods and Applications: 21 (IFIP Advances in Information and Communication Technology, 21)
77% match

Testing of Communicating Systems: Methods and Applications: 21 (IFIP Advances in Information and Communication Technology, 21)

Springer

£107.98 06 Jun 2026
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)
77% match

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

£107.98 02 Jun 2026
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)
76% match

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

£73.85 01 Jun 2026
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)
76% match

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

£147.11 28 May 2026
Formal Techniques in Real-Time and Fault-Tolerant Systems: 221 (The Springer International Series in Engineering and Computer Science, 221)
76% match

Formal Techniques in Real-Time and Fault-Tolerant Systems: 221 (The Springer International Series in Engineering and Computer Science, 221)

Springer

£107.78 05 Jun 2026
Communication Systems: The State of the Art IFIP 17th World Computer Congress - TC6 Stream on Communication Systems: The State of the Art August ... Information and Communication Technology, 92)
76% match

Communication Systems: The State of the Art IFIP 17th World Computer Congress - TC6 Stream on Communication Systems: The State of the Art August ... Information and Communication Technology, 92)

Springer

£107.85 05 Jun 2026
Electronic Design Automation Frameworks: Proceedings of the fourth International IFIP WG 10.5 working conference on electronic design automation ... in Information and Communication Technology)
75% match

Electronic Design Automation Frameworks: Proceedings of the fourth International IFIP WG 10.5 working conference on electronic design automation ... in Information and Communication Technology)

Springer

£119.27 06 Jun 2026
Testing of Communicating Systems: Methods and Applications: 21 (IFIP Advances in Information and Communication Technology, 21)
75% match

Testing of Communicating Systems: Methods and Applications: 21 (IFIP Advances in Information and Communication Technology, 21)

Springer

£47.62 02 Jun 2026
Protocol Test Systems VIII: Proceedings of the IFIP WG6.1 TC6 Eighth International Workshop on Protocol Test Systems, September 1995 (IFIP Advances in Information and Communication Technology)
75% match

Protocol Test Systems VIII: Proceedings of the IFIP WG6.1 TC6 Eighth International Workshop on Protocol Test Systems, September 1995 (IFIP Advances in Information and Communication Technology)

Springer

£140.45 02 Jun 2026
New Technologies, Mobility and Security
75% match

New Technologies, Mobility and Security

Springer

£108.92 21 May 2026