Лекция 4: Формальное представление многопоточной системы

Подробности

Категория: Теория и практика многопоточного программирования

Уровни абстракции программы. Корректность программы. Время как абстракция. Вероятность ошибки. Цель: формирование осведомлённости о заблуждениях в разработке, введение абстрактных понятий.