We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£151.75
Springer Formal Description Techniques IX: Theory, application and tools (IFIP Advances in Information and Communication Technology)
Price data last checked 78 day(s) ago - refreshing...
Price History & Forecast
Last 13 days • 13 data points (No recent data available)
Price Distribution
Price distribution over 13 days • 2 price levels
Current Price
Price Analysis
Most common price: £158 (12 days, 92.3%)
Price range: £152 - £158
Price levels: 2 different prices over 13 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
- 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
94% 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
94% 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
93% 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
92% match
Formal Description Techniques VIII: 8 (IFIP Advances in Information and Communication Technology)
Springer
£121.02
10 Mar 2026
91% 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
90% match
Testing of Communicating Systems XIV: Application to Internet Technologies and Services: 82 (IFIP Advances in Information and Communication Technology, 82)
Springer
£72.04
18 Feb 2026
90% 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
90% match
Communication Protocol Specification and Verification: 464 (The Springer International Series in Engineering and Computer Science, 464)
Springer
£149.64
04 Apr 2026
90% 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
£102.55
21 Jan 2026
90% match
Formal Methods for Open Object-Based Distributed Systems: IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based ... Information and Communication Technology, 10)
Springer
£146.82
10 Mar 2026
89% match
Software Engineering for Parallel and Distributed Systems (IFIP Advances in Information and Communication Technology)
Springer
£101.68
10 Mar 2026
89% match
Timed Petri Nets: Theory and Application: 9 (The International Series on Discrete Event Dynamic Systems, 9)
Springer
£174.99
05 Mar 2026
89% match
Advanced Communication Protocol Technologies: Solutions, Methods, and Applications (Advances in Wireless Technologies and Telecommunication)
Information Science Reference
£65.12
12 Jan 2026
89% match
Springer Protocol Test Systems - 7th IFIP WG 6.1 Workshop
Springer
£113.05
24 Feb 2026
89% 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
£145.37
17 Mar 2026
89% match
Testing of Communicating Systems: IFIP TC6 9th International Workshop on Testing of Communicating Systems Darmstadt, Germany 9–11 September 1996 (IFIP ... in Information and Communication Technology)
Springer
£144.98
10 Mar 2026
89% match
Testing of Communicating Systems: IFIP TC6 9th International Workshop on Testing of Communicating Systems Darmstadt, Germany 9–11 September 1996 (IFIP ... in Information and Communication Technology)
Springer
£123.20
11 Feb 2026
89% 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
£69.01
22 Feb 2026
89% match
Communication Protocols: Principles, Methods and Specifications
Springer
£108.62
31 Jan 2026
89% match
Formal System Verification: State-of the-Art and Future Trends
Springer
£89.13
11 Jan 2026
89% match
Advanced Formal Verification
Springer
£73.25
20 Feb 2026
89% match
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
£77.21
18 Apr 2026
89% match
Advanced IT Tools: IFIP World Conference on IT Tools 2–6 September 1996, Canberra, Australia (IFIP Advances in Information and Communication Technology)
Springer
£149.64
13 Jan 2026
89% match
Springer Internet Protocols: Advances, Technologies and Applications
Springer
£107.73
11 Apr 2026