Hot Best Seller

Design and Validation of Computer Protocols

Availability: Ready to download

This volume discusses the fundamental problems of designing logically consistent methods of communication between multiple computer processes. Standard protocol design problems, such as error control and flow control, are covered in detail, but also structured design methods and the construction of formal validation models. The book contains complete listings and explanati This volume discusses the fundamental problems of designing logically consistent methods of communication between multiple computer processes. Standard protocol design problems, such as error control and flow control, are covered in detail, but also structured design methods and the construction of formal validation models. The book contains complete listings and explanations of new protocol validation and design tool called SPIN. Author is in charge of protocol design at Bell Labs. Professionals who bought Tanenbaum's COMPUTER NETWORKS, 2/E and Comer's TCP/IP will buy this. This is the first book to cover automated protocol design and validation tools extensively.


Compare

This volume discusses the fundamental problems of designing logically consistent methods of communication between multiple computer processes. Standard protocol design problems, such as error control and flow control, are covered in detail, but also structured design methods and the construction of formal validation models. The book contains complete listings and explanati This volume discusses the fundamental problems of designing logically consistent methods of communication between multiple computer processes. Standard protocol design problems, such as error control and flow control, are covered in detail, but also structured design methods and the construction of formal validation models. The book contains complete listings and explanations of new protocol validation and design tool called SPIN. Author is in charge of protocol design at Bell Labs. Professionals who bought Tanenbaum's COMPUTER NETWORKS, 2/E and Comer's TCP/IP will buy this. This is the first book to cover automated protocol design and validation tools extensively.

42 review for Design and Validation of Computer Protocols

  1. 4 out of 5

    Gregory Reshetniak

    Stunning. Even if you are not designing protocols in your daily job, this book will likely change the way you think about problems, and even human communication - protocols were originally a human thing before they were encoded.

  2. 5 out of 5

    Carter

  3. 4 out of 5

    Ben

  4. 5 out of 5

    Xiao Shi

  5. 5 out of 5

    Jovany Agathe

  6. 4 out of 5

    Yury

  7. 5 out of 5

    Gustavo

  8. 5 out of 5

    Nazmul Ahmed Noyon

  9. 4 out of 5

    Ken

  10. 4 out of 5

    John Ackley

  11. 4 out of 5

    Bricoleur (David) Soul

  12. 5 out of 5

    Venkat

  13. 5 out of 5

    Chiaki

  14. 4 out of 5

    Egor sh

  15. 4 out of 5

    Tom Deboissiere

  16. 4 out of 5

    Sandeep Shukla

  17. 5 out of 5

    Dan

  18. 4 out of 5

    Nikhil

  19. 5 out of 5

    Cameron

  20. 5 out of 5

    Adrian Griffis

  21. 5 out of 5

    Ravi Chaurasia

  22. 4 out of 5

    Thắng Thao

  23. 4 out of 5

    Kalpana Purbia

  24. 5 out of 5

    Robert

  25. 5 out of 5

    Jakob

  26. 5 out of 5

    Chris

  27. 5 out of 5

    Komal Bharuka

  28. 5 out of 5

    Alberto Lluch

  29. 4 out of 5

    Jiarui

  30. 4 out of 5

    Nafisa Abdiwali

  31. 5 out of 5

    Thomas

  32. 5 out of 5

    Shirley

  33. 5 out of 5

    Bianca Gibson

  34. 5 out of 5

    Benjamin Futhai

  35. 5 out of 5

    Moolchandsingh188gmail.com

  36. 5 out of 5

    Naveen Nagineni

  37. 4 out of 5

    James

  38. 4 out of 5

    Bernard Bethel

  39. 4 out of 5

    Aleksey Abramov

  40. 4 out of 5

    Jonathan Creekmore

  41. 4 out of 5

    Natasha Ampulski

  42. 5 out of 5

    Iulian Dumitru

Add a review

Your email address will not be published. Required fields are marked *

Loading...