Книга посвящена вопросам использования методов теории графов для исследования структуру сложных программ, определения их параметров, верификации, организации хранения и поиска информации, распределения памяти и для решения других вопросов, возникающих в системном программировании и смежных областях.