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