Алгоритмический анализ поведения распределенных программ Бакалов, Юрий Валерьевич ВАК РФ 05.13.11 Стр. 1 из 13