Перейти к содержанию
Лекториум
/
Медиатека
Онлайн-курсы
Медиатека
Предметы и тематики
Школьникам
Очное обучение
Спецпредложения
Поиск
Поиск по медиатеке
Найти
Личный кабинет
Темы
Авторы
Организаторы
Курсы лекций
Антон Трунов
01
Курсы лекций
1
Введение в язык формальной верификации Coq
2 лекции · Антон Трунов
