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