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

R/17937/SEN-R0123
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)

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