• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
ФакультетыУчебные курсы231000.62 Программная инженерия

Верификация моделей программ

Учебный год: 2010/2011
Статус: Курс по выбору
Преподаватель: Ломазова Ирина Александровна (читает лекции и ведет семинары)
Кто читает: Кафедра управления разработкой программного обеспечения (Отделение программной инженерии)
Язык: русский
Уровень: Бакалавриат
Направление: 231000.62 Программная инженерия
Когда читается: 1-й курс, 1-4 модуль
Кредитов: 3