Курсы \ магистратура \ 5889 «Разработка программного обеспечения и науки о данных» (01.04.02 «Прикладная математика и информатика») \ Семестр 1 \ Лекции

26\5889\1
078707 Автоматы на бесконечных строках и верификация
Основной курс
Траектория 1 семестра
Лекции
Очная
32
Вам необходимо войти для подачи заявки на этот курс

Другие варианты реализации данной дисциплины для данной образовательной программы

Основной курс, Траектория 2 семестра

Семестр 2, Лекции (32 ч.)
Основной курс, Траектория 3 семестра

Семестр 3, Лекции (32 ч.)
Основной курс, Траектория 4 семестра

Семестр 4, Лекции (32 ч.)