Автор(ы): Бабичев А. В. (ИПУ РАН, Лаборатория 46) НЕАКТУАЛЬНАЯ ЗАПИСЬАвтор(ов): 1 Параметры публикацииТип публикации: Книга (брошюра, монография, стандарт)Название: Распознавание и спецификация структур данныхISBN/ISSN: 978-5-9710-0215-4Город: МоскваИздательство: ЛЕНАНДГод издания: 2008Объём, стр.: 192 АннотацияВ работе представлен аппарат, позволяющий автоматизировать процесс анализа и верификации структур данных, организованных в виде множества ссылающихся друг на друга объектов Библиографическая ссылка: Бабичев А.В. Распознавание и спецификация структур данных. М.: ЛЕНАНД, 2008. – 192 с.
