2026/2027

Формальные методы валидации и верификации моделей

Статус: Маго-лего

Кто читает: Кафедра информационных систем и технологий (Нижний Новгород)

Где читается: Факультет информатики, математики и компьютерных наук (Нижний Новгород)

Охват аудитории: для своего кампуса

Преподаватели: Бабкин Эдуард Александрович

Язык: русский

Кредиты: 3

Контактные часы: 28

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

Аннотация

Дисциплина проводится для студентов траектории Концептуальное моделирование 2 курса магистратуры образовательной программы Бизнес-информатика (ВШЭ Нижний Новгород)