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

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

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

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

Кл.слова (ненормированные): ВЕРИФИКАЦИЯ -- ПРОГРАММА -- ЭВМ
Доп. точки доступа:
Абрамова, Н.А.
Баталина, Т.С.
Гегамов, Н.А.
Коврига, С.В.

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

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

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