О книге
Изложены теоретические основы автоматизации оптимизирующих преобразований алгоритмов на графах. Основная цель монографии — показать возможность формализованного выполнения оптимизирующих преобразований указанных алгоритмов.
Для разработчиков алгоритмов решения задач анализа и синтеза структур сложных систем. Может быть полезна преподавателям, аспирантам и студентам специальностей, связанных с проектированием сложных систем.
