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

Formal Methods in Software Engineering

Учебный год: 2016/2017
Статус: Курс обязательный
Преподаватели: Дворянский Леонид Владимирович (ведет семинары и проверяет работы), Ломазова Ирина Александровна (читает лекции, ведет семинары, проверяет работы и принимает экзамены/зачеты)
Язык: английский
Уровень: Магистратура
Направление: 09.04.04. Программная инженерия
Прогр. обучения: Системная и программная инженерия
Когда читается: 1-й курс, 1-4 модуль
Кредитов: 10
Образовательная программа: Системная и программная инженерия
Прогр. уч. дисц.:  program-1513154523-siFWzI0xKh.pdf