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