| З-17 |
Зайцев, С. С.
Описание и реализация протоколов сетей ЭВМ [Текст] / С. С. Зайцев. – М. : Наука. Гл.ред.физ.-мат.лит, 1989. – 272с. – (Б-чка программиста). – 21800.
Посвящена формальным методам описаний протоколов. Основу первых двух методов представляют языки LOTOS и ESTELLE. Третий метод представлен языком ОСА. Для научных работников, инженеров, а также студентов соответствующих специальностей. |
