5. Coq. Разбор д-ва терминируемости алгоритма Евклида
compscicenter.ru/
Лекция №5 курса «Семантика языков программирования» (весна 2022).
Преподаватель - Антон Подкопаев
Страница лекции на сайте CS центра: bit.ly/3wSQPIo
compscicenter.ru/
Лекция №5 курса «Семантика языков программирования» (весна 2022).
Преподаватель - Антон Подкопаев
Страница лекции на сайте CS центра: bit.ly/3wSQPIo
Пікірлер: 2
Я первый