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

Аннотация

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

Отзывы читателей

Оставить отзыв

Ваше имя Отзыв Проверочный код Отправить отзыв