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

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

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