Город:
Тест
Санкт-Петербург
Новосибирск
Казань
Язык:
Русский
English
О клубе
Расписание
Курсы
Преподаватели
Международные школы
Войти
Регистрация
Лекция 2
Введение в язык формальной верификации Coq
Что:
Лекция
Когда:
Воскресенье, 22 сентября 2019, 13:10–14:40
Где:
ПОМИ РАН
Видео
