We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£147.14
This is the most expensive it has ever been. Walk away.
£147 today · previous high £147 · all-time low £146
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)
Price data last checked 57 day(s) ago - refreshing...
We'll watch every seller, every day. One email when your price arrives.
Price History & Forecast
Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.
Last 34 days · 34 data points (no recent data)
Historical
Generating forecast…
Price data last checked 57 day(s) ago - refreshing...
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
when this has been cheap or pricey
↑ Forecast
where the price is heading next
where the price is heading next
↓ Statistics
all-time high & low, recent range
all-time high & low, recent range
↑ Price alert
name your number, we'll email you
name your number, we'll email you
Price Distribution
Price distribution over 34 days • 2 price levels
Current Price
Price Analysis
Most common price: £146 (31 days, 91.2%)
Price range: £146 - £147
Price levels: 2 different prices over 34 days
Description
Formal Description Techniques and Protocol Specification, Testing and Verification addresses formal description techniques (FDTs) applicable to distributed systems and communication protocols. It aims to present the state of the art in theory, application, tools and industrialization of FDTs. Among the important features presented are: FDT-based system and protocol engineering; FDT-application to distributed systems; Protocol engineering; Practical experience and case studies. Formal Description Techniques and Protocol Specification, Testing and Verification comprises the proceedings of the Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification, sponsored by the International Federation for Information Processing, held in November 1998, Paris, France. Formal Description Techniques and Protocol Specification, Testing and Verification is suitable as a secondary text for a graduate-level course on Distributed Systems or Communications, and as a reference for researchers and practitioners in industry.
Product Specifications
- Brand
- Springer
- Format
- paperback
- ASIN
- 1475752628
- Category
- Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
- Domain
- Amazon UK
- Publication Date
- 05 March 2013
- Listed Since
- 20 September 2013
Barcode
No barcode data available
Similar Products You Might Like
100% 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
£148.95
30 Sep 2026
99% 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.30
28 Aug 2026
97% match
Formal Description Techniques IX: Theory, application and tools (IFIP Advances in Information and Communication Technology)
Springer
£158.94
02 Sep 2026
96% 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.43
23 Sep 2026
95% match
Communication Protocol Specification and Verification: 464 (The Springer International Series in Engineering and Computer Science, 464)
Springer
£149.64
30 Sep 2026
95% match
Formal Techniques for Networked and Distributed Systems: FORTE 2001: 69 (IFIP Advances in Information and Communication Technology, 69)
Springer
£147.14
03 Sep 2026
95% 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
£144.69
26 Sep 2026
94% match
Models and Analysis for Distributed Systems
Wiley
£115.00
22 Sep 2026
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
£85.15
18 Sep 2026
94% match
Identification and Management of Distributed Data: NGN, Content-Centric Networks and the Web
CRC Press
£64.03
02 Sep 2026
94% match
Fault-Tolerant Message-Passing Distributed Systems: An Algorithmic Approach
Springer
£39.77
23 Sep 2026
94% match
Disruptive Security Technologies - Mobile Code & P2P Networks
CRC Press
£151.26
02 Oct 2026
94% match
Quality of Communication-Based Systems: Proceedings of an International Workshop held at the TU Berlin, Germany, September 1994
Springer
£75.43
27 Sep 2026
94% match
Fehlertolerierende Rechensysteme: 2. GI/NTG/GMR-Fachtagung / Fault-Tolerant Computing Systems 2nd GI/NTG/GMR Conference / Bonn, 19.–21. September 1984: 84 (Informatik-Fachberichte, 84)
Springer
£79.11
21 Sep 2026
94% match
Distributed Platforms: Proceedings of the IFIP/IEEE International Conference on Distributed Platforms: Client/Server and Beyond: DCE, CORBA, ODP and ... in Information and Communication Technology)
Springer
£117.97
24 Aug 2026
94% match
Quality of Communication-Based Systems: Proceedings of an International Workshop Held at the TU, Berlin, Germany, September 1994
Springer
£106.68
17 Sep 2026
94% match
Distributed Platforms: Proceedings of the IFIP/IEEE International Conference on Distributed Platforms: Client/Server and Beyond: DCE, CORBA, ODP and ... in Information and Communication Technology)
Springer
£179.99
24 Sep 2026
94% match
Distributed and Parallel Embedded Systems: IFIP WG10.3/WG10.5 International Workshop on Distributed and Parallel Embedded Systems (DIPES’98) October ... Information and Communication Technology, 25)
Springer
£143.27
29 Sep 2026
94% match
Kommunikation in verteilten Systemen: Grundlagen, Anwendungen, Betrieb ITG/GI-Fachtagung, Stuttgart, 22.–24. Februar 1989 Proceedings: 205 (Informatik-Fachberichte, 205)
Springer
£45.99
30 Sep 2026
94% 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
£179.99
05 Sep 2026
94% match
Exploring New Frontiers of Theoretical Informatics: IFIP 18th World Computer Congress TC1 3rd International Conference on Theoretical Computer Science ... and Communication Technology, 155)
Springer
£100.01
01 Oct 2026
94% match
Interconnections for Computer Communications and Packet Networks
CRC Press
£68.50
19 Sep 2026
94% match
From Action Systems to Distributed Systems: The Refinement Approach (Chapman & Hall/Crc Computational Science)
CRC Press
£127.00
05 Sep 2026
93% match
Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based ... Information and Communication Technology, 49)
Springer
£147.14
24 Aug 2026