Начинает работу новый годовой спецкурс кафедры программирования, обязательный для всех магистрантов, "Формальные методы в программной инженерии".

Спецкурс будет читаться по вторникам с 17:45 в ауд. 306 гл. корп. НГУ.

Первое занятие состоится 8 сентября