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