Design And Validation Of Computer Protocols - Softcover

Holzmann, Gerard J.

 
9780135399255: Design And Validation Of Computer Protocols

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.

"synopsis" may belong to another edition of 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 title" may belong to another edition of this title.

Other Popular Editions of the Same Title

9780135398340: Design and Validation of Computer Protocols

Featured Edition

ISBN 10:  0135398347 ISBN 13:  9780135398340
Publisher: Pearson Education (US), 1990
Softcover