Научно-исследовательский семинар "Верификация моделей программ"

Учебный год: 2011/2012

Статус: Курс по выбору

Преподаватель: Ломазова Ирина Александровна (ведет семинары)

Кто читает: Кафедра управления разработкой программного обеспечения (Отделение программной инженерии)

Язык: русский

Уровень: Бакалавриат

Направление: 231000.62 Программная инженерия

Когда читается: 2-й курс, 1-4 модуль

Кредитов: 3