Лекторы
Миронов Андрей Михайлович
Зиборов Кирилл Викторович
#лекции
#спецкурс
Механико-математический факультет
Осень
2023
Математика
/
Конспект
Конспект для курса «Формальная семантика и верификация программного обеспечения»
0