TY  - BOOK
AU  - Евстигнеев,Владимир Анатольевич
AU  - Касьянов,Виктор Николаевич
TI  - Сводимые графы и граф-модели в программировании
SN  - 5881191250
PY  - 1999///
CY  - Новосибирск
PB  - ИДМИ
KW  - программы структурированные
KW  - граф-модели
KW  - оптимизирующее преобразование программ
KW  - распараллеливающее преобразование программ
KW  - алгоритмы
KW  - регуляризуемые графы
KW  - классы
KW  - разрушение контуров
KW  - Бергера-Шора алгоритм
KW  - Шамира алгоритм
KW  - графы данных
KW  - иерархические графы
KW  - графовые модели иерархические
KW  - Петри сети
KW  - графы управляющие
KW  - декомпозиция
KW  - меры сложности
KW  - циклы
KW  - программы с процедурами
KW  - операторные модели программ
KW  - семантические модели программ
KW  - формальные модели программ
KW  - математическое программирование
KW  - сводимые графы
N1  - Библиогр.: с. 275-284
ER  -