Трансляция и верификация предметно-ориентированных языков: учебная программа: [для студентов ФИТ НГУ по направлению подготовки 09.03.01 Информатика и вычислительная техника]