Design And Validation Of Computer Protocols
Download and Read Design And Validation Of Computer Protocols full books in PDF, ePUB, and Kindle. Read online free Design And Validation Of Computer Protocols ebook anywhere anytime directly on your device. We cannot guarantee that every ebooks is available!
Design and Validation of Computer Protocols
Author | : Gerard J. Holzmann |
Publisher | : |
Total Pages | : 520 |
Release | : 1991 |
Genre | : Computers |
ISBN | : |
Download Design and Validation of Computer Protocols Book in PDF, Epub and Kindle
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.
Design and Validation of Computer Protocols Related Books
Pages: 520
Pages: 406
Pages: 452
Pages: 434
Pages: 452