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

978-5-9710-0215-4

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

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

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


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

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

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




Об авторе

Бабичев А.П.


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



Правила дорожного движения 

Новые Правила дорожного движения Российской Федерации с учетом всех последних изменений и дополнений, принятых на дату подписания издания в печать. Изменения: в ред. Постановлений Правительства РФ от 06.10.2022 № 1769, от 24.10.2022 № 1888, от 27.05.2023 № 837, от 02.06.2023 № 908, от 19.04.2024 № 504...

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

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

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

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

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