Верификация программ
Название спецкурса на английском языке
Programs verification
Пререквизиты
Отсутствуют
Целевая аудитория
1-2 курс
3-6 курс, магистранты
аспиранты
Подразделение
[Кафедра МаТИС]
Семестр
Осень
Тип спецкурса
Спецкурс по выбору кафедры
Учебный год
2025/26
Список тем
Верификация блок-схем
Верификация функциональных программ
Теория процессов.
Верификация функциональных программ
Теория процессов.
Список источников
книга А.М.Миронов "Методы верификации программ", изд. ДМК-пресс, 2023
Дополнительная информация
Ауд 429
День недели
пятница
Время
16:45-18:20
Аудитория
429
Аудитория первого занятия
Ещё не назначена
Статус курса
Запись открыта
Форма записи на курс
Заполнение формы записи на курс доступно только студентам. Для записи на курс авторизуйтесь, пожалуйста, в студенческом аккаунте.