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

Занятия проходят по понедельникам в ауд. 1133 (по чётным неделям две пары с 9:00, а по нечетным - 1 пара с 10:50).