Articles liés à Design and Validation of Computer Protocols

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.