Design and Validation of Computer Protocols
Holzmann, Gerard J.
ISBN 10: 0135399254 ISBN 13: 9780135399255
Published by Prentice Hall, 2008
Used
Paperback
From
ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Seller rating 5 out of 5 stars
AbeBooks Seller since March 24, 2009
This specific item is no longer available.
About this Item
Description:
Former library book; May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less. Seller Inventory # G0135399254I4N10
Synopsis:
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.
From the Back Cover: 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.
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: Design and Validation of Computer Protocols
Publisher: Prentice Hall
Publication Date: 2008
Binding: Paperback
Condition: Very Good
Dust Jacket Condition: No Jacket