Город:
Санкт-Петербург
Новосибирск
Казань
Язык:
Русский
English
О клубе
Расписание
Курсы
Преподаватели
Международные школы
Войти
Регистрация
Основы функционального программирования в Coq (продолжение 1й лекции)
Введение в формальную верификацию программ
Что:
Семинар
Когда:
Пятница, 12 марта 2021, 00:30–01:30
Где:
Конференция в zoom, Онлайн
