В 2022 году Computer Science Center приостановил набор и обучение
Курсы
/
Семантика языков программирования
/
весна 2020
/

Логика Хоара

Среда, 01 апреля 2020
Таймс, 2 этаж, ауд.204

Слайды с лекции

programming_language_semantics_lecture_010420.pdf