Design and Validation of Computer Protocols - Softcover

Holzmann, Gerard J.

 
9780135398340: Design and Validation of Computer Protocols

Zu dieser ISBN ist aktuell kein Angebot verfügbar.

Inhaltsangabe

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.

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

Reseña del editor

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.

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

Weitere beliebte Ausgaben desselben Titels

9780135399255: Design And Validation Of Computer Protocols

Vorgestellte Ausgabe

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