|
Вид документа : Однотомное издание Шифр издания : Ар10-24611
Автор(ы) : Булычев П.Е.
Заглавие : Алгоритмы вычисления отношений подобия в задачах верификации и реструктуризации программ
: автореф. дис. ... канд. физ.-мат. наук : 05.13.11
Выходные данные : М., 2010 Колич.характеристики :28 с.:
ил
Примечания : Библиогр.: с. 27-28 (10 назв.). - В надзаг.: МГУ им. М.В. Ломоносова, Фак. вычислит. мат. и кибернетики
ГРНТИ : 50.41 УДК : 004.415.5(043) Ключевые слова (''Своб.индексиров.''): программы для эвм--верификация--реструктуризация--математические методы--алгоритмы--формальный язык--структуры крипке--проверка симуляций--обнаружение клонов
Экземпляры :ХР(1) Свободны : ХР(1)
|
|