1:24:33

2. Введение в Coq

1:32:49

8. Введение в слабые модели памяти

58:40

3. Семантика большого шага для императивного языка

1:27:41

1. Семантика и её значение

1:23:48

11. Линейное программирование

1:30:52

12. Семантические зависимости для моделей памяти (2/2)

1:26:11

11. Семантические зависимости для моделей памяти (1/2). Структуры событий

1:27:43

12. Совершенное паросочетание минимальной стоимости