×


 x 

Shopping cart
38%OFFRichard Lai - Communication Protocol Specification and Verification (The Springer International Series in Engineering and Computer Science) - 9780792382843 - V9780792382843
Stock image for illustration purposes only - book cover, edition or condition may vary.

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

€ 202.94
€ 125.98
You save € 76.96!
FREE Delivery in Ireland
Description for Communication Protocol Specification and Verification (The Springer International Series in Engineering and Computer Science) Hardcover. Addresses two issues: the needs to specify a protocol using an FDT and to verify its correctness in order to uncover specification errors in the early stage of a protocol development process. This book is suitable for advanced undergraduate and postgraduate students, communication software developers, and telecommunication engineers. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 327 pages, biography. BIC Classification: UTP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate; (XV) Technical / Manuals. Dimension: 234 x 156 x 19. Weight in Grams: 1420.
Communication protocols are rules whereby meaningful communication can be exchanged between different communicating entities. In general, they are complex and difficult to design and implement. Specifications of communication protocols written in a natural language (e.g. English) can be unclear or ambiguous, and may be subject to different interpretations. As a result, independent implementations of the same protocol may be incompatible. In addition, the complexity of protocols make them very hard to analyze in an informal way. There is, therefore, a need for precise and unambiguous specification using some formal languages. ... Read more

Product Details

Publisher
Springer
Format
Hardback
Publication date
1998
Series
The Springer International Series in Engineering and Computer Science
Condition
New
Number of Pages
304
Place of Publication
Dordrecht, Netherlands
ISBN
9780792382843
SKU
V9780792382843
Shipping Time
Usually ships in 4 to 8 working days
Ref
99-1

Reviews for Communication Protocol Specification and Verification (The Springer International Series in Engineering and Computer Science)

Goodreads reviews for Communication Protocol Specification and Verification (The Springer International Series in Engineering and Computer Science)


Subscribe to our newsletter

News on special offers, signed editions & more!