А. В. Бабичев Распознавание и спецификация структур данных

Изд.: Ленанд, 2009 г.

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