Полное описание
>
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. - 20.00 р. - Текст : непосредственный.
Перевод заглавия: Частичное i-слияние для эффективной генерации пространства состояний.
ГРНТИ | УДК | |
50.39.29 | 004.75 |
Рубрики:
Вычислительные системы распределенные -- Верификация
Кл.слова (ненормированные): распределенная вычислительная система>
Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)
Заказ фрагмента документа ₽