KZ

Методы компиляции программ

  • Рассмотрение вопросов, связанных с синтаксисом, семантикой языков программирования, принципам трансляции программ и методам верификации программ. С современными методами описания языков программирования, с методами создания синтаксических анализаторов для формальных языком и методами трансляции этих языков. Также большое внимание уделяется перспективным методам формальной верификации программ.
  • Образовательная программа 6B06101 Корпоративные информационные системы
  • ВУЗ Кокшетауский университет имени Шокана Уалиханова
  • Кредитов 5
  • Селективная дисциплина
  • Год обучения 3
  • Семестр 2
Top