Найти в Дзене
Войти
1,0×
Зиборов К.В. - Формальная семантика и верификация ПО - Семинар 6. Объявление типов в Isabelle/HOL
102 просмотра · 2 года назад
00:00
/
01:05:45
Teach-In
12,7 тыс подписчиков
Подписаться
2415143540.1019.1782169151724.61163