Начало занятий обязательного для магистрантов кафедры специального курса «Формальные методы в программной инженерии» во втором семестре 2015-16 года – вторник 9 февраля 2016 г.

Занятия будут проходить по вторникам в терминальном классе 306 главного корпуса НГУ с 16:30 до 19:30.

Темы весеннего семестра не требуют знаний предыдущего семестра и не требуют знания материала первого семестра.