5. Coq. Разбор д-ва терминируемости алгоритма Евклида

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

Пікірлер: 2

  • @user-sl8rf7km6x
    @user-sl8rf7km6x Жыл бұрын

    Я первый