We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£146.33
This is the most expensive it has ever been. Walk away.
£146 today · previous high £146 · all-time low £126
Springer Communication Protocol Specification and Verification - Springer
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 71 days · 71 data points (no recent data)
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 Distribution
Price distribution over 71 days • 4 price levels
Price Analysis
Most common price: £126 (45 days, 63.4%)
Price range: £126 - £146
Price levels: 4 different prices over 71 days
Description
Key Features
Communication Protocol Specification and Verification covers formal methods for creating precise, unambiguous protocol specifications.
This Springer volume addresses the complexity of protocol design and the challenges of informal analysis in networking.
The book explores how natural language protocols lead to implementation incompatibility and proposes solutions through formal verification.
Part of The Springer International Series in Engineering and Computer Science, providing academic-level coverage of networking and security topics.
Used book in good condition, offering an affordable way to access established knowledge on protocol engineering and formal methods.
Product Specifications
- Brand
- Springer
- Format
- hardcover
- ASIN
- 0792382846
- Domain
- Amazon UK
- Release Date
- 30 September 1998
- Listed Since
- 15 February 2007
Barcode
No barcode data available
Similar Products You Might Like
Communication Protocol Specification and Verification: 464 (The Springer International Series in Engineering and Computer Science, 464)
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)
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)
Springer
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
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
Formal Methods for Protocol Engineering and Distributed Systems: Forte XII / PSTV XIX’99: 28 (IFIP Advances in Information and Communication Technology, 28)
Springer
Springer Principles of Protocol Design - Networking Book
Springer
Springer Communication Protocols - Principles and Methods Book
Springer
Applied Data Communications 3rd Ed.
Wiley
LTE-Advanced DRX Mechanism for Power Saving (Focus)
Wiley
CRC Press Communication Protocol Engineering Textbook
CRC Press
Wiley Fundamentals of Telecommunication Networks Book
Wiley
Attaining High Performance Communications: A Vertical Approach
CRC Press
OSI Conformance Testing Methodology and TTCN
Elsevier
Fundamentals of Data Communication Networks
Wiley
New Technologies, Mobility and Security
Springer
Advanced Communication Protocol Technologies: Solutions, Methods, and Applications (Advances in Wireless Technologies and Telecommunication)
Information Science Reference
Industrial Data Communications (International Society of Automation)
Wiley
Delay and Disruption Tolerant Networks: Interplanetary and Earth-Bound -- Architecture, Protocols, and Applications
CRC Press
Protocol Test Systems - 7th IFIP WG 6.1 Workshop Proceedings
Springer
Formal Description Techniques IX: Theory, application and tools (IFIP Advances in Information and Communication Technology)
Springer
Kommunikation in verteilten Systemen: Grundlagen, Anwendungen, Betrieb ITG/GI-Fachtagung, Stuttgart, 22.–24. Februar 1989 Proceedings: 205 (Informatik-Fachberichte, 205)
Springer
Network Protocols (Computer Networks)
CRC Press Multimedia Communications and Networking Book
CRC Press