681 С 409 Системная информатика : сборник научных трудов / Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А. П. Ершова; [редкол.: А. Г. Марчука (гл. ред.) и др.]. - Новосибирск : Наука, 1991 - . - (Системная информатика). Вып. 9 : Формальные методы и модели информатики / [Ю. Гуревич и др.] ; под ред. А. Г. Марчука. - 2004. - 360 с. : ил. - Библиогр. в конце ст. - ISBN 5-7692-0700-0 : 160.00 р.
Рубрики: Программирование--Сборники Кл.слова (ненормированные): Машины абстрактных состояний -- C-light -- Петри сети -- Алгоритмы генерации Аннотация: Отражены вопросы математической теории программирования,теории параллельного программирования,трансформационного синтеза программ, а также вопросы контроля языковых стандартов и автоматической генерации оптимального кода Доп.точки доступа: Марчук, Андрей Гурьевич \ред.\; Гуревич, Ю.; Непомнящий, В. А.; Ануреев, И. С.; Михайлов, И. Н.; Промский, А. В.; Тарасюк, И. В.; Булычев, Д. Ю.; Семенов, А. Л.; Важев, И. В.; Кашеварова, Т. П.; Бревнов, Е. В.; Ершов, А. Г.; Клейменов, А. Е.; Лещенко, А. С.; Лоенко, М. Ю.; Петунин, Д. В.; Марчук, Андрей Гурьевич \ред.\; Российская академия наук(СО РАН ; Новосибирск). Сибирское отделение; Институт систем информатики им. А. П. Ершова Экземпляры всего: 1 Х (1) Свободны: Х (1) |