Прибыль можно копировать! Дешевые домены в зоне RU Карта сайта Корзина В корзине: 0 товаров
На сумму: 0 руб.

Распознавание и спецификация структур данных

А. В. Бабичев. Распознавание и спецификация структур данных Авторы:А. В. Бабичев.
Издательство:Ленанд
Год издания:2009
Серия:
Страниц:192
Размеры:60x90/16
Цена:393 руб.
Купить

Аннотация к книге:
В работе представлен аппарат, позволяющий автоматизировать процесс анализа и верификации структур данных, организованных в виде множества ссылающихся друг на друга объектов. Подобные структуры данных можно рассматривать как размеченные ориентированные графы. Соответственно, спецификацию данных можно рассматривать как описание множества графов, удовлетворяющих некоторым заданным свойствам, а распознавание данных - как процедуру проверки заданного графа (заданной структуры данных) на соответствие спецификации.
Идеологически представленный аппарат спецификации и анализа графов аналогичен технике использования теории конечных автоматов для распознавания текстов.
Для специалистов в области теории алгоритмов и основ программирования, а также для аспирантов и студентов старших курсов соответствующих специальностей.

Заказывают также