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

Ар10-24611
Булычев, П. Е. Алгоритмы вычисления отношений подобия в задачах верификации и реструктуризации программ : автореф. дис. ... канд. физ.-мат. наук : 05.13.11 / П. Е. Булычев. - М. : [б. и.], 2010. - 28 с. : ил. - Библиогр.: с. 27-28 (10 назв.). - Текст : непосредственный.
В надзаг.: МГУ им. М.В. Ломоносова, Фак. вычислит. мат. и кибернетики

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

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

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