Items related to Design And Validation Of Computer Protocols
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.
"synopsis" may belong to another edition of this title.
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.
Search results for Design And Validation Of Computer Protocols
Stock Image
Design and Validation of Computer Protocols
Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 2.08. Seller Inventory # G0135399254I4N00
Quantity: 1 available
Stock Image
Design and Validation of Computer Protocols
Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less 2.08. Seller Inventory # G0135399254I5N00
Quantity: 1 available
Stock Image
Design and Validation of Computer Protocols
Seller: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less 2.08. Seller Inventory # G0135399254I5N00
Quantity: 1 available
Stock Image
Design and Validation of Computer Protocols
Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 2.08. Seller Inventory # G0135399254I3N00
Quantity: 1 available
Stock Image
Design and Validation of Computer Protocols
Seller: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 2.08. Seller Inventory # G0135399254I4N00
Quantity: 1 available
Stock Image
Design And Validation Of Computer Protocols
Published by
Pearson Technology Group, 2008
ISBN 10: 0135399254
ISBN 13: 9780135399255
Used
Paperback
Seller: Orion Tech, Kingwood, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Good. Seller Inventory # 0135399254-3-20575255
Quantity: 1 available
Stock Image
Design And Validation Of Computer Protocols
Seller: SecondSale, Montgomery, IL, U.S.A.
Seller rating 4 out of 5 stars
Condition: Good. Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc. Seller Inventory # 00089416898
Quantity: 1 available
Stock Image
Design and Validation of Computer Protocols
Published by
Pearson Education, Limited, 1990
ISBN 10: 0135399254
ISBN 13: 9780135399255
Used
Softcover
Seller: Better World Books: West, Reno, NV, U.S.A.
Seller rating 5 out of 5 stars
Condition: Very Good. Facsimile. Used book that is in excellent condition. May show signs of wear or have minor defects. Seller Inventory # 2217969-6
Quantity: 1 available
Stock Image
Design And Validation Of Computer Protocols
Published by
Pearson Technology Group, 2008
ISBN 10: 0135399254
ISBN 13: 9780135399255
New
Paperback
Seller: Toscana Books, AUSTIN, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: new. Excellent Condition.Excels in customer satisfaction, prompt replies, and quality checks. Seller Inventory # Scanned0135399254
Quantity: 1 available
Stock Image
Design And Validation Of Computer Protocols
Published by
Pearson Technology Group, 2008
ISBN 10: 0135399254
ISBN 13: 9780135399255
Used
paperback
Seller: Studibuch, Stuttgart, Germany
Seller rating 5 out of 5 stars
paperback. Condition: Befriedigend. 512 Seiten; 9780135399255.4 Gewicht in Gramm: 2. Seller Inventory # 870072
Quantity: 1 available