Информация о книге

978-5-9710-0215-4

Главная  » Автолитература » Правила дорожного движения » Распознавание и спецификация структур данных

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

Ленанд, 2009 г., 192 стр., 978-5-9710-0215-4


Описание книги

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

Поделиться ссылкой на книгу




Об авторе


Последние поступления в рубрике "Правила дорожного движения"



Правила дорожного движения с иллюстрациями и комментариями. Ответственность водителей 

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

3 в 1. Все для экзамена в ГИБДД. ПДД, билеты, вождение. Обновленное издание. С новейшими изменениями 3 в 1. Все для экзамена в ГИБДД. ПДД, билеты, вождение. Обновленное издание. С новейшими изменениями 

Перед вами уникальное издание — самое полное и полезное пособие для сдающих экзамены в ГИБДД. Под одной обложкой собраны актуальные Правила дорожного движения, последняя редакция билетов к экзамену с ответами и комментариями, а также основы вождения для начинающих....

Экзаменационные тематические задачи категории ABM с комментариями 2024 Экзаменационные тематические задачи категории ABM с комментариями 2024 

В данном издании вопросы приведены с учетом изменений в утвержденных экзаменационных билетах. Новая редакция утверждена ГИБДД РФ и применяется во всех экзаменационных подразделениях ГИБДД с 1 сентября 2023 г. при приеме теоретического экзамена на право управления транспортными средствами категорий \\\"А\\\", \\\"В\\\", \\\"М\\\" и подкатегорий \\\"А1\\\", \\\"B1\\\"....

Если Вы задавались вопросами "где найти книгу в интернете?", "где купить книгу?" и "в каком книжном интернет-магазине нужная книга стоит дешевле?", то наш сайт именно для Вас. На сайте книжной поисковой системы Книгопоиск Вы можете узнать наличие книги Бабичев А.П., Распознавание и спецификация структур данных в интернет-магазинах. Также Вы можете перейти на страницу понравившегося интернет-магазина и купить книгу на сайте магазина. Учтите, что стоимость товара и его наличие в нашей поисковой системе и на сайте интернет-магазина книг может отличаться, в виду задержки обновления информации.