Design And Validation Of Computer Protocols - Softcover

Holzmann, Gerard J.

 
9780135399255: Design And Validation Of Computer Protocols

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Reseña del editor

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.

Contraportada

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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Weitere beliebte Ausgaben desselben Titels

9780135398340: Design and Validation of Computer Protocols

Vorgestellte Ausgabe

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