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

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

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