• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Магистратура 2016/2017

Формальные методы программной инженерии

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