Найти в Дзене
Войти
1,0×
Миронов А.М. - Формальная семантика и верификация ПО - 6. Существование наименьшей неподвижной точки
50 просмотров · 2 года назад
00:00
/
01:23:25
Teach-In
12,6 тыс подписчиков
Подписаться
2301357735.1343.1776763001199.90149