Гладштейн Владимир Петрович
| ФИО выпускника | Гладштейн Владимир Петрович |
|---|---|
| Направление подготовки (специальность) | 01.03.01 Математика |
| Квалификация | Бакалавр |
| Наименование ВКР | Верификация алгоритма проверки моделей для многопоточных программ в системе доказательств Coq |
| Статус | Опубликована |
| ФИО научного руководителя | кандидат физико-математических наук Д.Ю.Булычев |
| Год | 2022 |