Design And Validation Of Computer Protocols - Softcover

Holzmann, Gerard J.

Softcover

ISBN 10: 0135399254 ISBN 13: 9780135399255

Publisher: Pearson Technology Group, 2008

Synopsis

Differing from other data communications books, this one emphasizes the logic behind the design process. It discusses design principles in order to provide guidelines for the design of protocols that are logically consistent. For courses in data communications, operating systems, or protocol design.

About this title

Synopsis:

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.

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 edition

• Publisher: Pearson Technology Group
• Publication date: 2008
• ISBN 10: 0135399254
• ISBN 13: 9780135399255
• Binding: Paperback
• Number of pages: 512