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