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