Найти в Дзене
Войти
1,0×
Миронов А.М. - Формальная семантика и верификация ПО - 1. Верификация программ. Метод Флойда
35 просмотров · 2 года назад
00:00
/
01:31:45
Teach-In
11,1 тыс подписчиков
Подписаться
1671536024.1932.1752893585495.63975