KZ

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

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