К.ф.-м.н. Марьясов И.В. начинает чтение спецкурса "Верификация и анализ программ".
Занятия проходят по чётным неделям в четверг с 9:00 в ауд. 1133 и каждую неделю в пятницу с 10:50 в ауд. 1156.