• ВХОД
  •  

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

    Griffioen, W. O.D. Proof-checking an audio control protocol with LP / W.O.D.Griffioen. - Amsterdam : [s. n.], 1995. - 32 p. : ill. - (Report:Computer science / CWI ; CS-R9570). - Текст : непосредственный.
    Библиогр.:с.31-32

    ГРНТИ УДК
    47.55681.84.001.4

    Рубрики:
    Звукозаписывающая и звуковоспроизводящая аппаратура -- Испытание

    Кл.слова (ненормированные): ЗВУКОЗАПИСЫВАЮЩАЯ АППАРАТУРА
    Держатели документа:
    Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/16212/CS-R9570)

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



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