Структура:
| Семестр |
Всего (ч) (Лекц / Практ. / Лаб.) |
Аттестация |
| 1 |
180 (16 / 32 / 0) |
Зачет с оценкой |
| Итого |
180 (16 / 32 / 0) |
Зачет с оценкой |
Компетенции:
- ПК-6 - способен применять существующие подходы к верификации моделей программного обеспечения
- ПК-7 - способен проектировать распределенные информационные системы, их компоненты и протоколы их взаимодействия
- ПК-11 - способен проектировать основные компоненты операционных систем