| Уровень образования: |
Специалитет |
Укрупненная группа специальностей и
направлений подготовки /
Группа научных специальностей:
|
|
| Направление/Специальность/Научная специальность: |
Специальность |
Код+наименование:
|
10.05.01 Компьютерная безопасность |
Направленность (профиль) /Специализация:
|
Разработка защищенного программного обеспечения |
| Форма обучения: |
очная |
Год поступления:
|
2024-2025 |
Факультет, реализующий
дисциплину / практику:
|
компьютерных наук |
Кафедра, реализующая
дисциплину / практику:
|
технологий обработки и защиты информации |
Код и наименование
дисциплины / практики:
|
Б1.О.56.01 Методы верификации программного обеспечения |
| Семестры / триместры: |
9
|
Составители программы:
|
Акимов А.В. |
| Файл рабочей программы: |
 10.05.01_КБ_РЗПО_Б1.О.56.01_Методы верификации программного обеспечения_раб_пр_2024.pdf |
| ФОС: |
|
| |