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