Design and Validation of Computer Protocols - Softcover

Holzmann, Gerard J.

  • 3.81 out of 5 stars
    16 ratings by Goodreads
 
9780135398340: Design and Validation of Computer Protocols

This specific ISBN edition is currently not available.

Synopsis

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.

"synopsis" may belong to another edition of this title.

From the Back Cover

This text is intended as a comprehensive guide to the design and analysis of computer communications protocols. It introduces a sound discipline for the design of complete and consistent protocol systems, independent of where they are used.

"About this title" may belong to another edition of this title.

Other Popular Editions of the Same Title

9780135399255: Design And Validation Of Computer Protocols

Featured Edition

ISBN 10:  0135399254 ISBN 13:  9780135399255
Publisher: Pearson Technology Group, 2008
Softcover