Город: Санкт-Петербург Новосибирск Казань Язык: Русский English

Доказательства на разные темы, разбор необходимости проверок структурной рекурсии, строгой позитивности, исключение Type:Type
Введение в формальную верификацию программ

Что: Семинар
Когда: Пятница, 21 мая 2021, 00:30–01:30
Где: Конференция в zoom, Онлайн