- Paperback: 512 pages
- Publisher: Prentice Hall; 1 edition (October 11, 1990)
- Language: English
- ISBN-10: 0135399254
- ISBN-13: 978-0135399255
- Product Dimensions: 6.8 x 1.2 x 9.2 inches
- Shipping Weight: 1.9 pounds (View shipping rates and policies)
- Average Customer Review: 4 customer reviews
- Amazon Best Sellers Rank: #2,316,059 in Books (See Top 100 in Books)
Enter your mobile number or email address below and we'll send you a link to download the free Kindle App. Then you can start reading Kindle books on your smartphone, tablet, or computer - no Kindle device required.
To get the free app, enter your mobile phone number.
Design And Validation Of Computer Protocols 1st Edition
Use the Amazon App to scan ISBNs and compare prices.
Fulfillment by Amazon (FBA) is a service we offer sellers that lets them store their products in Amazon's fulfillment centers, and we directly pack, ship, and provide customer service for these products. Something we hope you'll especially enjoy: FBA items qualify for FREE Shipping and Amazon Prime.
If you're a seller, Fulfillment by Amazon can help you increase your sales. We invite you to learn more about Fulfillment by Amazon .
Customers who viewed this item also viewed
Customers who bought this item also bought
From the Back Cover
This text is intended as a comprehensive guide to the design and analysis of computer communications protocols. It introduces a sound discipline for the design of complete and consistent protocol systems, independent of where they are used.
Showing 1-4 of 4 reviews
There was a problem filtering reviews right now. Please try again later.
The interest of this book is mainly historical, since it treats protocol standardization and the design problems in early computer protocols. The latter half of the book presents the Promela language and the associated SPIN model checker, both of which are far better presented in the recent book "The SPIN model checker" by the same author (hence only the four stars since half of the book is now outdated).
On the other hand, the description of race conditions in the introductory material is lucid, and if you haven't designed in and debugged a few of those, you might find it valuble. A bit pricey for that, though.
All in all it is a joy to read this book as a thorough introduction to the subject. But I have to mention some criticism:
1. Holzmann did the research for the book in the late 1980s and the book was copyrighted in 1991. Therefore some parts look a bit dated now.
2. This is probably one of the best books on the design of network protocols. But who designs protocols ? Do you intend to specify a new protocol ? Probably not. For all those mere mortals who just want to have a quick look at the basics of network protocol, this book is probably too much material. And I am afraid, those few people who do indeed design protocols might take it as a weakness of the book that it does not focus on their favourite protocol family. Instead, Holzmann shows them how to design and verify (!) the correctness of completely new protocols.
3. Network protocols have a long history ! Still today we can learn from historical prototypes. Their basics can be traced back hundreds of years and it is a joy to see how Holzmann mentions them again and again even in the later (more formal) chapters.
The book is good translated.
I whold recommend all of network programmer should read this book.
History of network protocol and model checking is good for stady.
We can understand why we should check a protocol and we should make a model.
SPIN and promela is good tool for programmer.
If you interest in SPIN and promela, new book should be readed.
BTW, c programs for some checksum on the Japanese translated book are little different from this latest English book. I will report this for Japanese translators who are well known network protocol designers.