|
|
Р91832
Андреева, М. В..
Параллельные варианты MAY-тестовых эквивалентностей временных структур событий [Текст] / М. В. Андреева ; РАН. Сибирское отделение, Институт систем информатики имени А. П. Ершова. - Новосибирск : [б. и.], 2000. - 23 с. - (Препринт / РАН СО, Ин-т систем информатики им. А. П. Ершова ; 77)Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
РАН. Сибирское отделение; Институт систем информатики имени А. П. Ершова
Видання зберігається у :
|
|