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

Первое занятие состоится в пятницу 11 сентября.