М.: Наука, 1985. — 352 с.
Книга посвящена вопросам использования методов теории графов для исследования структуры сложных программ, определения их параметров, верификации, организации хранения и поиска информации, распределения памяти и для решения других вопросов, возникающих в системном программировании и смежных областях.
От редактора
Предисловие
Основные понятия
Глобальный анализ графов
Итеративные алгоритмы глобального анализа графов. Пути и покрытия
Оптимизационные задачи на графах
Разрезания и раскраска графов
Применение теории графов в программировании
Библиографический комментарий
Список литературы
Предметный указатель