Design And Validation Of Computer Protocols (Prentice Hall Software Series)

By Gerard J. Holzmann

Book Overview

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... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 0135399254
• ISBN13: 9780135399255
• Release Date: January 2008
• Publisher: Prentice Hall
• Length: 512 Pages
• Weight: 2.08 lbs.
• Dimensions: 1.1" x 6.8" x 9.3"