Найти в Дзене
Войти
1,0×
Зиборов К.В. - Формальная семантика и верификация ПО - Семинар 5. Переписывание термов
17 просмотров · 2 года назад
00:00
/
49:08
Teach-In
12,5 тыс подписчиков
Подписаться
97534251.964.1775045751490.73371