Design and Validation of Computer Protocols - Tapa blanda

Holzmann, Gerard J.

 
9780135398340: Design and Validation of Computer Protocols

Esta edición ISBN ya no está disponible.

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

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.

"Sobre este título" puede pertenecer a otra edición de este libro.

Otras ediciones populares con el mismo título

9780135399255: Design And Validation Of Computer Protocols

Edición Destacada

ISBN 10:  0135399254 ISBN 13:  9780135399255
Editorial: Pearson Technology Group, 2008
Tapa blanda