Полное описание
>
Чистяков, Г. А. Метод и машина логического вывода для формальной верификации параллельных алгоритмов : автореф. дис. ... канд. техн. наук : 05.13.11, 05.13.15 / Г. А. Чистяков. - СПб. : [б. и.], 2014. - 22 с. : ил. - Библиогр.: с. 21-22 (24 назв.). - 100 экз. - Текст : непосредственный.
ГРНТИ | УДК | |
28.23.17 | 004.832.3(043) |
Кл.слова (ненормированные): символьная обработка -- темпоральная логика>
Имеются экземпляры в отделах: всего 1 : ХРЦ (1)
Свободны: ХРЦ (1)
Заказ фрагмента документа ₽