Найти в Дзене
Войти
1,0×
Миронов А.М. - Формальная семантика и верификация ПО - 11. Наблюдаемая эквивалентность
32 просмотра · 2 года назад
00:00
/
01:25:50
Teach-In
12,6 тыс подписчиков
Подписаться
1342480941.1342.1777423072106.84750