Ануреев, И.С. - Применение систем переписывания формул в автоматической верификации программ = Formula rewriting systems application to automated prpgram verification
Карточка
Экспресс-заказ фрагмента
Ануреев, И.С.
Применение систем переписывания формул в автоматической верификации программ = Formula rewriting systems application to automated prpgram verification / И. С. Ануреев. - Новосибирск : ИСИ, 1998. - 47 с.; 21 см. - (Препринт. Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А. П. Ершова; 55).
Парал. загл.: Formula rewriting systems application to automated prpgram verification.
Формулы (мат.)
Вычислительные машины электронные - программы - верификация
Шифр хранения:
Применение систем переписывания формул в автоматической верификации программ = Formula rewriting systems application to automated prpgram verification / И. С. Ануреев. - Новосибирск : ИСИ, 1998. - 47 с.; 21 см. - (Препринт. Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А. П. Ершова; 55).
Парал. загл.: Formula rewriting systems application to automated prpgram verification.
Формулы (мат.)
Вычислительные машины электронные - программы - верификация
Шифр хранения:
FB 3 98-17/1901
Описание
Автор | Ануреев, И.С. |
---|---|
Заглавие | Применение систем переписывания формул в автоматической верификации программ = Formula rewriting systems application to automated prpgram verification |
Коллекции ЭК РГБ | Каталог документов с 1831 по настоящее время |
Дата поступления в ЭК РГБ | 27.02.2002 |
Каталоги | Книги (изданные с 1831 г. по настоящее время) |
Сведения об ответственности | И. С. Ануреев |
Выходные данные | Новосибирск : ИСИ, 1998 |
Физическое описание | 47 с.; 21 см |
Серия | (Препринт. Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А. П. Ершова; 55) |
Термины-указатели | Формулы (мат.) |
Вычислительные машины электронные - программы - верификация | |
Общие примечания | Парал. загл.: Formula rewriting systems application to automated prpgram verification. |
Язык | Русский |
Места хранения | FB 3 98-17/1901 |