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

Подробная информация о книге «Распознавание и спецификация структур данных А. В. Бабичев». Сайт не предоставляет возможности читать онлайн или скачать бесплатно книгу «Распознавание и спецификация структур данных А. В. Бабичев»

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

Поделиться

Рейтинг книги izbe.ru: 0,0

О книге

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

Идеологически представленный аппарат спецификации и анализа графов аналогичен технике использования теории конечных автоматов для распознавания текстов.

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

Полное название книги А. В. Бабичев Распознавание и спецификация структур данных
Тип Книга
Автор А. В. Бабичев
Ключевые слова
Категории Образование и наука, Книги
ISBN 9785971002154
Возрастное ограничение 18
Издательство Ленанд
Год 2009
Название транслитом raspoznavanie-i-specifikaciya-struktur-dannyh-a-v-babichev
Просмотров 4
Рейтинг izbe.ru 0,0

Напишите вашу рецензию на книгу:
А. В. Бабичев «Распознавание и спецификация структур данных»

Рецензии пользователей

Пока еще никто не написал рецензию на эту книгу.

ТОП-15 книг