Design and Validation of Computer Protocols - Couverture souple

Holzmann, Gerard J.

 
9780135398340: Design and Validation of Computer Protocols

L'édition de cet ISBN n'est malheureusement plus disponible.

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur

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.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Autres éditions populaires du même titre

9780135399255: Design And Validation Of Computer Protocols

Edition présentée

ISBN 10 :  0135399254 ISBN 13 :  9780135399255
Editeur : Pearson Technology Group, 2008
Couverture souple