6. Семантика малого шага, логика Хоара
Computer Science Center
0:00 / 0:00
6. Семантика малого шага, логика Хоара
1 582 просмотра · 4 года назад
Computer Science Center
165 тыс. подписчиков
1 582 просмотра · 4 года назад
https://compscicenter.ru/
Лекция №6 курса «Семантика языков программирования» (весна 2022).
Преподаватель — Антон Подкопаев
Страница лекции на сайте CS центра: https://bit.ly/3wSQPIo
