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