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
Published by
Pearson Technology Group (edition Facsimile), 2008
ISBN 10: 0135399254
ISBN 13: 9780135399255
Used
Paperback
Seller: BooksRun, Philadelphia, PA, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Fair. Facsimile. The item might be beaten up but readable. May contain markings or highlighting, as well as stains, bent corners, or any other major defect, but the text is not obscured in any way. Seller Inventory # 0135399254-7-1
Stock Image
Design And Validation Of Computer Protocols
Published by
Pearson Technology Group (edition Facsimile), 2008
ISBN 10: 0135399254
ISBN 13: 9780135399255
Used
Paperback
Seller: BooksRun, Philadelphia, PA, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. Facsimile. It's a well-cared-for item that has seen limited use. The item may show minor signs of wear. All the text is legible, with all pages included. It may have slight markings and/or highlighting. Seller Inventory # 0135399254-11-1
Stock Image
Design And Validation Of Computer Protocols
Published by
Pearson Technology Group, 2008
ISBN 10: 0135399254
ISBN 13: 9780135399255
Used
Paperback
Seller: HPB-Red, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_477298708
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. Seller Inventory # G0135399254I4N00
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. Seller Inventory # G0135399254I4N00
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, Mishawaka, IN, U.S.A.
Seller rating 5 out of 5 stars
Condition: Very Good. Facsimile. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Seller Inventory # 2217969-6
Seller Image
Design And Validation Of Computer Protocols
Published by
Pearson Technology Group, 2008
ISBN 10: 0135399254
ISBN 13: 9780135399255
Used
Softcover
Seller: Solr Books, Lincolnwood, IL, U.S.A.
Seller rating 5 out of 5 stars
Condition: very_good. This book is in Very good condition. There may be a few flaws like shelf wear and some light wear. Seller Inventory # BCV.0135399254.VG
Stock Image
Design And Validation Of Computer Protocols
Published by
Pearson Technology Group, 2008
ISBN 10: 0135399254
ISBN 13: 9780135399255
Used
paperback
Seller: YESIBOOKSTORE, MIAMI, FL, U.S.A.
Seller rating 4 out of 5 stars
paperback. Condition: As New. Seller Inventory # 0135399254-VB
Stock Image
Design And Validation Of Computer Protocols (Prentice Hall Software Series)
Seller: Mispah books, Redhill, SURRE, United Kingdom
Seller rating 4 out of 5 stars
Paperback. Condition: Very Good. Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS. book. Seller Inventory # ERICA79101353992546
Buy Used
US$ 109.99
US$ 33.37 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
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: DeckleEdge LLC, Albuquerque, NM, U.S.A.
Seller rating 5 out of 5 stars
paperback. Condition: new. Seller Inventory # Shelfdream0135399254