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

Д8-98/44429
Новый математический аппарат для анализа внешнего поведения и верификации программ : препринт / Н.А.Абрамова,Т.С.Баталина,Н.А.Гегамов,С.В.Коврига. - М. : [б. и.], 1998. - 109 с. : ил. - 75 экз. - Б. ц. - Текст : непосредственный.

ГРНТИ	УДК
50.05.13	004.415.5(04)

Рубрики:
Программы для ЭВМ -- Верификация

Кл.слова (ненормированные): программа -- эвм -- верификация
Доп. точки доступа:
Абрамова, Н.А.
Баталина, Т.С.
Гегамов, Н.А.
Коврига, С.В.

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

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