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