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

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



';



Видеотека

Яндекс.Метрика