Ануреев, И.С. - Применение систем переписывания формул в автоматической верификации программ = 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

Marc21

Скачать marc21-запись

Показать

Описание

Автор
ЗаглавиеПрименение систем переписывания формул в автоматической верификации программ = 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