Сайт использует сервис веб-аналитики Яндекс Метрика с помощью технологии «cookie». Пользуясь сайтом, вы даете согласие на использование данной технологии.
Политика конфиденциальности | Согласие на обработку персональных данных
11. Семантические зависимости для моделей памяти (1/2). Структуры событий
8. Введение в слабые модели памяти
9. Декларативные модели памяти (1/2)
3. Семантика большого шага для императивного языка
№24. Евгений Солоницын - как правильно понимать математику
12. Семантические зависимости для моделей памяти (2/2)
