Найти в Дзене
Войти
1,0×
Зиборов К.В.-Формальная семантика и верификация ПО- Семинар 1.Введение в Isabelle.Лямбда-исчисление
60 просмотров · 2 года назад
00:00
/
01:12:47
Teach-In
12,6 тыс подписчиков
Подписаться
2297275873.914.1777161981644.30524