Design And Validation Of Computer Protocols (Paperback)Gerard J. Holzmann (author)
Paperback 512 Pages / Published: 01/11/1990
- We can order this
Designed to be more than just a guide to protocol standards, codes and formats, this text offers a systematic approach for designing complete and consistent protocol systems with the power to govern the interactions of concurrent processes in distributed systems. Specifically intended as a guide to protocol design and analysis, the text familiarizes readers with all the issues of protocol design including general and specific techniques for process co-ordination.
Publisher: Pearson Education (US)
Number of pages: 512
Weight: 930 g
Dimensions: 242 x 183 x 26 mm
You may also be interested in...
Please sign in to write a review
Thank you for your reservation
Your order is now being processed and we have sent a confirmation email to you at
When will my order be ready to collect?
Call us on or send us an email at
Unfortunately there has been a problem with your order
Please try again or alternatively you can contact your chosen shop on or send us an email at