Вы здесь
Алгоритмы антиунификации и их пременение для вычисления инвариантов программ
Тип работы:
Кандидатская диссертация
Соискатель:
Костылев Егор Вячеславович
Специальность:
01.01.09 — дискретная математика и математическая кибернетика
Шифр совета:
Д 501.001.44
Контактные данные совета:
119991, Москва, ГСП-1, Ленинские Горы,
Московский государственный университет имени М.В.Ломоносова,
Диссертационный совет Д 501.001.44
тел.: +7 (495) 939-30-10
Московский государственный университет имени М.В.Ломоносова,
Диссертационный совет Д 501.001.44
тел.: +7 (495) 939-30-10
Дата защиты:
20.02.2009 - 11:00
Файлы:
| Вложение | Размер |
|---|---|
 200811-evk.pdf | 283.73 КБ |
