Построение множеств достижимости управляемых систем с использованием возможностей многопоточного программированиядипломная работа (Бакалавр)