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

Ар15-3282
Подымов, В. В. Быстрые алгоритмы проверки эквивалентности программ в моделях с полугрупповой семантикой : автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / В. В. Подымов. - М. : [б. и.], 2015. - 24 с. : ил. - Библиогр.: с. 24 (7 назв.). - 100 экз. - Текст : непосредственный.

ГРНТИ	УДК
50.41	004.422.8(043)

Кл.слова (ненормированные): программы для эвм -- эквивалентность
Имеются экземпляры в отделах: всего 1 : ХРЦ (1)
Свободны: ХРЦ (1)

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