• ВХОД
  •  

    Полное описание

    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.19004.7.057.4(063)

    Рубрики:
    Вычислительные системы -- Протоколы -- Съезды и конференции

    Кл.слова (ненормированные): ВЫЧИСЛИТЕЛЬНАЯ СИСТЕМА -- ВЫЧИСЛИТЕЛЬНАЯ СИСТЕМА
    Доп. точки доступа:
    Brinksma, E.\ed.\

    Держатели документа:
    Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): G2/16086)

    Шифр в сводном ЭК: 346a84187b5fcbc2ae99cb4e7d2fbcb9



    Заказ фрагмента документа ₽