Анализ программ

2024/2025

Учебный год

RUS

Обучение ведется на русском языке

3

Кредиты

Кто читает:

Департамент информатики

Статус:

Курс по выбору

Когда читается:

Программа дисциплины

Аннотация

Является дисциплиной по выбору. Данная дисциплина позволит студентам получить навыки статического анализа программ и знания о том, как делать выводы о корректности работы программы. Для освоения дисциплины студентам необходимы знания, полученные в результате изучения дисциплин «Метавычисления», «Семантики языков программирования», «Компиляторы».