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