4. Множественные цели в Coq. Д-во корректности Constant Folding
compscicenter.ru/
Лекция №4 курса «Семантика языков программирования» (весна 2022).
Преподаватель - Антон Подкопаев
Страница лекции на сайте CS центра: bit.ly/3wSQPIo
compscicenter.ru/
Лекция №4 курса «Семантика языков программирования» (весна 2022).
Преподаватель - Антон Подкопаев
Страница лекции на сайте CS центра: bit.ly/3wSQPIo
Пікірлер: 1
Я первый