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