
Верификация и валидация программных систем
М3О-208М-18, М3О-207М-18, М3О-208М-19, М3О-207М-19, М3О-408Б-17, М3О-409Б-17

Объектно-ориентированное программирование
МСО-205Б-19, М3О-210Б-19, М3О-211Б-19, М3О-225Бк-19, М3О-209Б-19, М3О-219Бк-19, М3О-224Б-19, М3О-207Б-19

Организация ЭВМ
М6О-208Б-19, М3О-210Б-19, М3О-211Б-19, М3О-231Б-19, М3О-225Бк-19, М3О-209Б-19, М3О-219Бк-19, М3О-224Б-19, М3О-207Б-19

Теория графов
М3О-210Б-19, М3О-211Б-19, М3О-225Бк-19, М3О-209Б-19, М3О-219Бк-19, М3О-224Б-19, М3О-207Б-19