Найти тему
Войти
1,0×
Зиборов К.В.- Формальная семантика и верификация ПО - Семинар 4.Логика высшего порядка Isabelle/HOL
28 просмотров · 1 неделю назад
00:00
/
50:40
Teach-In
7,8K подписчиков
Подписаться
3777985357.1071.1727464402059.23535