• ВХОД

    •  

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

    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.51681.84
    621.397.4

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

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

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



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