З 97
   С409/9


   
    Формальные методы и модели информатики : сб. науч. тр. / [Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А.П. Ершова] ; под ред. А.Г. Марчука. - Новосибирск : Изд-во Сиб. отд-ния Рос. акад. наук, 2004. - 359 с. : ил. - (Системная информатика ; вып. 9). - Библиогр. в конце некоторых тр. -
ГРНТИ
ББК З 973.2-01я43
Рубрики: Информатика


Доп.точки доступа:
Марчук, А.Г. \ред.\
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)