6. Семантика малого шага, логика Хоара

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

Пікірлер: 1

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

    Я первый

Келесі