Jump to ratings and reviews
Rate this book

Design And Validation Of Computer Protocols

Rate this book
Differing from other data communications books, this one emphasizes the logic behind the design process. It discusses design principles in order to provide guidelines for the design of protocols that are logically consistent. For courses in data communications, operating systems, or protocol design.

512 pages, Paperback

Published January 17, 2008

91 people want to read

About the author

Gerard J. Holzmann

7 books1 follower

Ratings & Reviews

What do you think?
Rate this book

Friends & Following

Create a free account to discover what your friends think of this book!

Community Reviews

5 stars
6 (37%)
4 stars
3 (18%)
3 stars
5 (31%)
2 stars
2 (12%)
1 star
0 (0%)
Displaying 1 of 1 review
24 reviews10 followers
July 19, 2019
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.
Displaying 1 of 1 review

Can't find what you're looking for?

Get help and learn more about the design.