Ануреев, И.С. - Применение систем переписывания формул в автоматической верификации программ = Formula rewriting systems application to automated prpgram verification / И. С. Ануреев. - Новосибирск : ИСИ, 1998. - 47 с.; 21 см. - (Препринт. Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А. П. Ершова; 55).
Карточка
Экспресс-заказ фрагмента
Ануреев, И.С.
Применение систем переписывания формул в автоматической верификации программ = 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 |
