Методы верификации моделей программного обеспечения

Курс разработан Зубковой Т.М., предназначен для студентов направления подготовки 09.04.04 Программная инженерия профиль "Разработка информационно-телекоммуникационных систем", форма обучения - очная и заочная, 09.04.01 Информатика и вычислительная техника профиль "Информационное и программное обеспечение автоматизированных систем", форма обучения - очная.