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

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

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

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

Шифр в сводном ЭК: 86ddf152e346bba74bbbf236d70bdcb9

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