Доцент Марьясов Илья Владимирович начинает чтение полугодового спецкурса "Методы верификации программ".

Занятия прооходят в ауд. 1155 по вторникам с 9:00 по нечетным неделям, и с 10:50 по четным.

Со всеми вопросами обращаться к лектору по эл. почте: ivm1999@mail.ru