|
|||
|
|||
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
«Основы формальной верификации на Coq», «Функциональное программирование на языке Scheme» (для не изучавших Scheme в бакалавриате ВМК), «Визуальные нотации программной инженерии» (кроме 528, 620, 623, 627, 628 гр.) |
|
© Кафедра системного программирования ВМК МГУ. |
Обновлено: 14.I.2026 |