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