Вид документа:

Комплекс навчально-методичного забезпечення дисципліни
ПІ
Комплекс навчально-методичного забезпечення навчальної дисципліни "Формальні методи розробки та супроводу програмних систем" підготовки магістрів, спеціальність 121 – Інженерія програмного забезпечення [Електронний ресурс] : спеціалізація "Програмне забезпечення систем" / ХНУРЕ ; розроб. В. Г. Кобзєв. – Харків, 2017. – 158 с.


Статистика використання: Завантажень: 21
Анотація:
1. Робоча програма _________________________________________3_________________
(посилання на Google disc)
2. Конспект лекцій _________________________________________15________________
(посилання на Google disc)
3. Методичні вказівки до самостійної роботи студентів __________90________________
(посилання на Google disc)
4. Методичні вказівки до практичних (семінарських) занять _____115________________
(посилання на Google disc)
5. Методичні вказівки до лабораторних робіт _________________131_________________
(посилання на Google disc)
6. Контрольні завдання ____________________________________154_________________
(посилання на Google disc)
7. Екзаменаційні запитання ________________________________156_________________
(посилання на Google disc)