Найти в Дзене
Войти
1,0×
Зиборов К.В. - Формальная семантика и верификация ПО - Семинар 5. Переписывание термов
15 просмотров · 1 год назад
00:00
/
49:08
Teach-In
10,8 тыс подписчиков
Подписаться
Хотите видеть больше публикаций по теме «Образование»?
Давайте
Образование
4,84 млн интересуются
Следить за темой
563360539.1339.1749626777882.20885