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