Average Reviews:
(More customer reviews)You have probably read the text from the back cover of the book, which is cited above. Every word of it is true. This is an excellent book, even for (serious) beginners, but also for experts who need some advice on how to avoid bad designs.
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.
Click Here to see more reviews about: Design And Validation Of Computer Protocols
This volume discusses the fundamental problems of designinglogically consistent methods of communication betweenmultiple computer processes. Standard protocol designproblems, such as error control and flow control, are coveredin detail, but also structured design methods and theconstruction of formal validation models. The book containscomplete listings and explanations of new protocolvalidation and design tool called SPIN. Author is in chargeof protocol design at Bell Labs. Professionals who boughtTanenbaum's COMPUTER NETWORKS, 2/E and Comer's TCP/IP willbuy this. This is the first book to cover automated protocoldesign and validation tools extensively.
Click here for more information about Design And Validation Of Computer Protocols
0 comments:
Post a Comment