שליחה במסרון: Теория и методы автоматизации проектирования сложных систем и автоматизации научных исследований