Ар11-31074     Захаров, В. А.     Проблема эквивалентности программ: модели, алгоритмы, сложность [Текст] : автореф. дис. ... д-ра физ.-мат. наук : 01.01.09 / В. А. Захаров. - М., 2011. - 42 с. - Библиогр.: с. 35-42 (60 назв.) ГРНТИ 50.41 УДК 004.422.8(043) Кл.слова (ненормированные): программы для эвм -- эквивалентность -- теоретическое исследование Экземпляры всего 1: ХР (1) Свободны: ХР (1)