Design and Validation of Computer Protocols - Brossura

Holzmann, Gerard J.

 
9780135398340: Design and Validation of Computer Protocols

Al momento non sono disponibili copie per questo codice ISBN.

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Altre edizioni note dello stesso titolo

9780135399255: Design And Validation Of Computer Protocols

Edizione in evidenza

ISBN 10:  0135399254 ISBN 13:  9780135399255
Casa editrice: Pearson Technology Group, 2008
Brossura