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