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