Теория и спецификация программирования

  • ознакомление с современными подходами моделирования компьютерных систем; знакомство с современными методами спецификации, анализа и верификации программ;
  • Образовательная программа 7M06101 Информатика
  • Кредитов 5
  • Селективная дисциплина
  • Год обучения 1
  • Семестр 2
Top