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