Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
ФНКЦ РР
Главная
Поиск
Статистика
О проекте
Помощь
Методы верификации программ на основе композиции задач достижимости
диссертация
Научный руководитель:
Петренко Александр Константинович
Автор:
Мордань Виталий Олегович
Дата защиты:
25 мая 2017 года
Шифр диссертационного совета:
Д 002.087.01
Организация:
ИСП РАН
Область знаний:
Физика и математика
Специальность:
05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
Тип диссертации:
Кандидатская
Ведущая организация:
Федеральный исследовательский центр «Информатика и управление» Российской Академии Наук
Организация, в которой выполнялась работа:
МГУ имени М.В. Ломоносова, Институт системного программирования РАН
Оппоненты:
Соколов Валерий Анатольевич
,
Волконский Владимир Юрьевич
Добавил в систему:
Корныхин Евгений Валерьевич