Văn bản này: Теория и методы автоматизации проектирования сложных систем и автоматизации научных исследований