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