Тип: курс по выбору кафедры

Лектор: Миронов Андрей Михайлович

Для: студентов 5 курса

Время: пт 16.45 - 18.20

Аудитория: 429

Верификация блок-схем
Верификация функциональных программ
Теория процессов

Материалы:

[1] А.М.Миронов "Методы верификации программ", изд. ДМК-пресс, 2023