HomeGroupsTalkZeitgeist
Hide this

Results from Google Books

Click on a thumbnail to go to Google Books.

Design and Validation of Computer Protocols…
Loading...

Design and Validation of Computer Protocols

by Gerard J. Holzmann

MembersReviewsPopularityAverage ratingConversations
22None476,730 (5)None

None.

None
Loading...

Sign up for LibraryThing to find out whether you'll like this book.

No current Talk conversations about this book.

No reviews
no reviews | add a review
You must log in to edit Common Knowledge data.
For more help see the Common Knowledge help page.
Series (with order)
Canonical title
Original title
Alternative titles
Original publication date
People/Characters
Important places
Important events
Related movies
Awards and honors
Epigraph
Dedication
First words
Quotations
Last words
Disambiguation notice
Publisher's editors
Blurbers
Publisher series
Original language

References to this work on external resources.

Wikipedia in English (2)

Book description
Haiku summary

Amazon.com Product Description (ISBN 0135399254, Paperback)

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.

(retrieved from Amazon Thu, 12 Mar 2015 18:23:18 -0400)

No library descriptions found.

Quick Links

Swap Ebooks Audio
2 wanted1 free
1 pay

Popular covers

Rating

Average: (5)
0.5
1
1.5
2
2.5
3
3.5
4
4.5
5 1

Is this you?

Become a LibraryThing Author.

 

About | Contact | Privacy/Terms | Help/FAQs | Blog | Store | APIs | TinyCat | Legacy Libraries | Early Reviewers | Common Knowledge | 119,439,349 books! | Top bar: Always visible