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

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

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

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

Кл.слова (ненормированные): КОМПЬЮТЕРНАЯ АЛГЕБРА
Доп. точки доступа:
Мацко, Е.А.

Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): М/49881/102)

Шифр в сводном ЭК: a568fd0553571d7151904b69dfd2a0fd

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