Полное описание

М/49881/102
Непомнящий, В. А. Применение символического метода элиминации инвариантов циклов к верификации программ линейной алгебры / В.А.Непомнящий,Е.А.Мацко. - Новосибирск : [б. и.], 2003. - 37 с. - (Препринт / Институт систем информатики(Новосибирск) ; 102). - 50 экз. - Б. ц. - Текст : непосредственный.
Библиогр.: с. 37(16 назв.)

ГРНТИ	УДК
27.41.23	519.61(04)

Рубрики:
Компьютерная алгебра

Кл.слова (ненормированные): компьютерная алгебра
Доп. точки доступа:
Мацко, Е.А.

Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)

Заказать издание
Заказ фрагмента документа ₽