We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£126.57
Springer Communication Protocol Specification and Verification 464
Price data checked 6 days ago
Price History & Forecast
Last 85 days • 85 data points (No recent data available)
Price Distribution
Price distribution over 85 days • 1 price levels
Price Analysis
Most common price: £127 (85 days, 100.0%)
Price range: £127 - £127
Price levels: 1 different prices over 85 days
Description
Key Features
Addresses the difficulty of designing and implementing complex communication protocols.
Explains why natural language specifications can lead to ambiguity and incompatible implementations.
Provides solutions for creating precise and unambiguous protocol specifications.
Part of The Springer International Series in Engineering and Computer Science, volume 464.
Used book in good condition, making it a practical choice for students and professionals.
Focuses on the necessity of formal methods to overcome the limitations of informal analysis.
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
Funktionelle Analyse von Kommunikationsprotokollen: 247 (Informatik-Fachberichte, 247)
Springer
Springer Communication Protocols: Principles, Methods and Specs
Springer
Principles of Protocol Design
Springer
Communication Protocols: Principles, Methods and Specifications
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
The Austin Protocol Compiler: 13 (Advances in Information Security, 13)
Springer
Quality of Communication-Based Systems: Proceedings of an International Workshop Held at the TU, Berlin, Germany, September 1994
Springer
Universal Semantic Communication
Springer
Communication System Security (Chapman & Hall/CRC Cryptography and Network Security Series)
CRC Press
Formal System Verification: State-of the-Art and Future Trends
Springer
Wiley Fundamentals of Telecommunication Networks - Textbook
Wiley
Springer - Specification and Verification of Multi-agent Systems
Springer
Springer Error Detecting Codes - Engineering & Computer Science
Springer
Verification of Sequential and Concurrent Programs (Texts in Computer Science)
Springer
Computation Engineering: Applied Automata Theory and Logic
Springer
Handbook of Fiber Optic Data Communication: A Practical Guide to Optical Networking
Academic Press
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
Springer
Data and Computer Communications: Networking and Internetworking
CRC Press
Digital Communication: Principles and System Modelling (Signals 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
Proceedings of the International Conference on Signal, Networks, Computing, and Systems: ICSNCS 2016, Volume 1: 395 (Lecture Notes in Electrical Engineering)
Springer
Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)
Springer