Моисеенко Евгений Александрович / Moiseenko Evgenii Alexandrovich

Дата публикации: 24 мая 2023.

Диссертация на соискание ученой степени кандидата физико-математических наук / Dissertation for the degree of candidate of physico-mathematical sciences

Научная специальность 2.3.5. Математическое и программное обеспечение вычислительных систем, комплексов и компьютерных сетей / Scientific speciality 2.3.5.Mathematical and software support for computers, complexes and computer networks

Тема: «Формализация семантики и верификация многопоточных программ на основе структур событий» / Theme: Formalization of semantics and verification of concurrent programs based on event structures

Заявление (.pdf) (24.05.2023)

Диссертация / Dissertation (.pdf) (24.05.2023)

Список публикаций (.pdf) (24.05.2023)

Отзыв научного руководителя (.pdf) (24.05.2023)

Объявление о начале формирования состава диссертационного совета (.pdf) (24.05.2023)

Метки: Предстоящие защиты

Печать E-mail

Короткие ссылки на go.spbu.ru: https://go.spbu.ru/23a230502