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