Полное описание
> Usenko, Y. S. A comparison of Spin and the uCRL toolset on HAVi leader election protocol / Y.S.Usenko. - Amsterdam : [s. n.], 1999. - 23 p. : ill. - (Report:Software engineering / CWI ; SEN-R9917). - Текст : непосредственный.
Библиогр.:с.13
ГРНТИ | УДК | |
47.01.51 | 681.84 | |
621.397.4 |
Рубрики:
Звукозаписывающая и звуковоспроизводящая аппаратура
Видеоаппаратура
Кл.слова (ненормированные): ВИДЕОАППАРАТУРА -- ЗВУКОЗАПИСЫВАЮЩАЯ АППАРАТУРА
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/17937/SEN-R9917)>
Шифр в сводном ЭК: 99780fd882254b8220bc41821514ddd3
Заказ фрагмента документа ₽