Уточнение предикатной абстракции при раздельном анализе потоковкурсовая работа (Специалист)