бесплатно 18 марта в 11:15 Наука Юрий Карпов Верификация параллельных и распределенных программных систем Организатор: Computer Science клуб