£151.75

Springer Formal Description Techniques IX: Theory, application and tools (IFIP Advances in Information and Communication Technology)

Price data last checked 124 day(s) ago - refreshing...

View at Amazon

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 1 year ago.

£152 today · all-time low £152 (Aug 2024) · usually the usual

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

Historical
Generating forecast...
£174.40 £149.34 £154.81 £160.28 £165.74 £171.21 £176.68 10 June 2024 08 November 2024 09 April 2025 07 September 2025 06 February 2026

Price Distribution

Price distribution over 607 days • 4 price ranges

Days at Price
Current Price
349 days · current 223 days 3 days 32 days 0 87 175 262 349 £152-156 £156-161 £161-165 £170-174 Days at Price

Price Analysis

Most common range: £152-156 (349 days, 57.5%)

Price range: £152 - £174

Price levels: 4 price ranges over 607 days

Description

This book is the combined proceedings of the latest IFIP Formal Description Techniques (FDTs) and Protocol Specification, Testing and Verification (PSTV) series. It addresses FDTs applicable to communication protocols and distributed systems, with special emphasis on standardised FDTs. It features state-of-the-art in theory, application, tools and industrialisation of formal description.

Product Specifications

Format
hardcover
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 and Protocol Specification, Testing and Verification: FORTE XI/PSTV XVIII’98 IFIP TC6 WG6.1 Joint International ... Information and Communication Technology, 6)
97% match

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

£146.26 30 Jan 2026
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)
97% match

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

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

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

Springer

£152.25 01 Feb 2026
Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2016: 454 (Lecture Notes in Electrical Engineering, 454)
94% match

Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2016: 454 (Lecture Notes in Electrical Engineering, 454)

Springer

£76.02 19 Apr 2026
Formal Techniques for Networked and Distributed Systems: FORTE 2001: 69 (IFIP Advances in Information and Communication Technology, 69)
94% match

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

Springer

£149.64 07 Feb 2026
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)
94% match

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

£41.51 07 Mar 2026
Communication Protocol Specification and Verification: 464 (The Springer International Series in Engineering and Computer Science, 464)
94% match

Communication Protocol Specification and Verification: 464 (The Springer International Series in Engineering and Computer Science, 464)

Springer

£149.64 04 Apr 2026
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)
94% match

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

£76.18 28 Feb 2026
Information Technology for Education, Science, and Technics: Proceedings of ITEST 2024, Volume 1: 221 (Lecture Notes on Data Engineering and Communications Technologies, 221)
94% match

Information Technology for Education, Science, and Technics: Proceedings of ITEST 2024, Volume 1: 221 (Lecture Notes on Data Engineering and Communications Technologies, 221)

Springer

£149.15 04 Feb 2026
FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings: 8442 (Lecture Notes in Computer Science, 8442)
94% match

FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings: 8442 (Lecture Notes in Computer Science, 8442)

Springer

£78.84 08 Mar 2026
FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings: 5850 (Lecture Notes in Computer Science, 5850)
93% match

FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings: 5850 (Lecture Notes in Computer Science, 5850)

Springer

£116.76 25 Feb 2026
FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems
93% match

FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems

Springer

£142.97 11 Mar 2026
Industrial-Strength Formal Methods in Practice (Formal Approaches to Computing and Information Technology (FACIT))
93% match

Industrial-Strength Formal Methods in Practice (Formal Approaches to Computing and Information Technology (FACIT))

Springer

£83.52 27 Feb 2026
Advances in Digital Forensics XVIII: 18th IFIP WG 11.9 International Conference, Virtual Event, January 3–4, 2022, Revised Selected Papers: 653 (IFIP ... and Communication Technology, 653)
93% match

Advances in Digital Forensics XVIII: 18th IFIP WG 11.9 International Conference, Virtual Event, January 3–4, 2022, Revised Selected Papers: 653 (IFIP ... and Communication Technology, 653)

Springer

£67.14 27 Feb 2026
Advances in Digital Forensics XVIII: 18th IFIP WG 11.9 International Conference, Virtual Event, January 3–4, 2022, Revised Selected Papers: 653 (IFIP ... and Communication Technology, 653)
93% match

Advances in Digital Forensics XVIII: 18th IFIP WG 11.9 International Conference, Virtual Event, January 3–4, 2022, Revised Selected Papers: 653 (IFIP ... and Communication Technology, 653)

Springer

£67.14 27 Feb 2026
Technical Communication
93% match

Technical Communication

Bedford/St. Martin's

£70.99 12 Jan 2026
Advances in Digital Forensics XX: 20th IFIP WG 11.9 International Conference, New Delhi, India, January 4–5, 2024, Revised Selected Papers (IFIP ... and Communication Technology, 724)
93% match

Advances in Digital Forensics XX: 20th IFIP WG 11.9 International Conference, New Delhi, India, January 4–5, 2024, Revised Selected Papers (IFIP ... and Communication Technology, 724)

Springer

£68.02 26 Feb 2026
FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems
93% match

FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems

Springer

£144.44 10 Mar 2026
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)
93% match

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

£41.15 11 Apr 2026
Springer Open IT-Based Innovation Conference Book
93% match

Springer Open IT-Based Innovation Conference Book

Springer

£113.76 20 Apr 2026
Integrated Formal Methods: 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings: 14300 (Lecture Notes in Computer Science, 14300)
93% match

Integrated Formal Methods: 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings: 14300 (Lecture Notes in Computer Science, 14300)

Springer

£90.81 09 Mar 2026
Proceedings of the Future Technologies Conference (FTC) 2024, Volume 4: 1157 (Lecture Notes in Networks and Systems, 1157)
93% match

Proceedings of the Future Technologies Conference (FTC) 2024, Volume 4: 1157 (Lecture Notes in Networks and Systems, 1157)

Springer

£162.32 28 Mar 2026
Formal Languages and Applications: 148 (Studies in Fuzziness and Soft Computing, 148)
93% match

Formal Languages and Applications: 148 (Studies in Fuzziness and Soft Computing, 148)

Springer

£147.81 13 Jan 2026
Formal Languages and Applications: 148 (Studies in Fuzziness and Soft Computing, 148)
93% match

Formal Languages and Applications: 148 (Studies in Fuzziness and Soft Computing, 148)

Springer

£147.00 14 Jan 2026