KZ

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

  • В рамках курса изучаются основные принципы использования формальных методов в разработке программ , в том числе, изучаются основные математические модели и методы их анализа и синтеза, формируются навыки анализа и проектирования программного обеспечения с использованием формальных методов.
  • Образовательная программа 7M06116 Компьютерные науки и технологии
  • ВУЗ Казахский национальный университет имени аль-Фараби
  • Кредитов 5
  • Селективная дисциплина
  • Год обучения 1
  • Семестр 1
Top