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

Formal Methods in Software Engineering

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