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

Верификация сортировки вставками и слиянием. Рекурсивные функции с неструктурной рекурсией. Плагин Program. Acc-предикат и рекурсивные функции.
Введение в формальную верификацию программ

Что: Лекция
Когда: Четверг, 13 мая 2021, 18:30–20:00
Где: Конференция в zoom, Онлайн

Видео