• ВХОД

    •  

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

    Blom, S. C.C. Partial i-confluence for efficient state space generation / S.C.C.Blom. - Amsterdam : [s. n.], 2001. - 17 p. : ill. - (Report:Software engineering / CWI, ISSN 1386-369X ; SEN-R0123). - Библиогр.: c. 17. - Текст : непосредственный.
    Библиогр.:c.17
    Перевод заглавия: Частичное i-слияние для эффективной генерации пространства состояний.

    ГРНТИ УДК
    50.39.29004.75

    Рубрики:
    Вычислительные системы распределенные -- Верификация

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

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



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