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

Упражнения на тип-произведение, тип-сумму, пустой тип и единичный тип
Введение в формальную верификацию программ

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