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