Автор: Gerard J. Holzmann
Название: Design And Validation Of Computer Protocols
Издательство: Prentice Hall
Год: 1991
ISBN: 0135399254
Серия: Prentice Hall Software Series
Язык: English
Формат: pdf
Размер: 1,3 mb
Страниц: 512
This text is intended as a comprehensive guide to the design and analysis of computer communications protocols. It introduces a sound discipline for the design of complete and consistent protocol systems, independent of where they are used.