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

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

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

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

Шифр в сводном ЭК: 5bbe2b97f908564ae16d9085e87fbd1b

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