Полное описание
> Protocol specification testing, and verification,IX : сборник / Ed. E. Brinksma. - Amsterdam : North-Holland, 1990. - XVI,401 p. p. : ill. - ISBN 0-444-88343-6. - Текст : непосредственный.
Библиогр.в конце статей.Указ.:с.401
Перевод заглавия: Спецификация, тестирование и верификация протоколов, 9:Труды 9-го междунар. симп. WG 6.1 IFIP, Энтед, 1989
ГРНТИ | УДК | |
50.39.19 | 004.7.057.4(063) |
Рубрики:
Вычислительные системы -- Протоколы -- Съезды и конференции
Кл.слова (ненормированные): ВЫЧИСЛИТЕЛЬНАЯ СИСТЕМА -- ВЫЧИСЛИТЕЛЬНАЯ СИСТЕМА
Доп. точки доступа:
Brinksma, E.\ed.\
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): G2/16086)>
Шифр в сводном ЭК: 346a84187b5fcbc2ae99cb4e7d2fbcb9
Заказ фрагмента документа ₽