.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Principles of Protocol Design
Robin Sharp
€ 207.42
FREE Delivery in Ireland
Description for Principles of Protocol Design
Hardback. Num Pages: 402 pages, 172 black & white illustrations, 23 black & white tables, biography. BIC Classification: UT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 758.
This book introduces the reader to the principles used in the construction of a large range of modern data communication protocols. The approach we take is rather a formal one, primarily based on descriptions of protocols in the notation of CSP. This not only enables us to describe protocols in a concise manner, but also to reason about many of their interesting properties and formally to prove certain aspects of their correctness with respect to appropriate speci?cations. Only after considering the main principles do we go on to consider actual protocols where these principles are exploited. This is a completely ... Read more
This book introduces the reader to the principles used in the construction of a large range of modern data communication protocols. The approach we take is rather a formal one, primarily based on descriptions of protocols in the notation of CSP. This not only enables us to describe protocols in a concise manner, but also to reason about many of their interesting properties and formally to prove certain aspects of their correctness with respect to appropriate speci?cations. Only after considering the main principles do we go on to consider actual protocols where these principles are exploited. This is a completely ... Read more
Product Details
Format
Hardback
Publication date
2008
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
402
Condition
New
Number of Pages
402
Place of Publication
Berlin, Germany
ISBN
9783540775409
SKU
V9783540775409
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Principles of Protocol Design
From the reviews: "This book takes an unusual path to describe computer network protocols. … Robin Sharp starts from formal description techniques. More precisely, he chooses the Communicating Sequential Processes (CSP) notation proposed by Hoare. … could be of interest to readers who are more interested in the application of formal description techniques to network ... Read more