A961119-ОХФ, A963324-ОХФ Системная информатика [Текст] : сб науч. тр. / под ред. А. Г. Марчука ; Рос. акад. наук, Сиб. отд-ние, Ин-т систем. информатики им. А. П. Ершова. - Новосибирск : Изд-во СО РАН, 1991 - . - (Системная информатика / гл. ред. А. Г. Марчук). Вып. 9 : Формальные методы и модели информатики. - Новосибирск : Изд-во СО РАН, 2004. - 358, [2] с. : табл. - Библиогр.: с. 353-358 (102 назв.). - ISBN 5-7692-0700-0 (в пер.) : 95.00 р.
Рубрики: вычислительная техника--информационные технологии Кл.слова (ненормированные): информатика -- языки программирования -- верификация -- машины абстрактных состояний -- петри сети Доп. точки доступа: Марчук, А. Г. \\ред.\\ Экземпляры всего: 2 ОХФ (2) |