RUSIST
Единый реестр книг

Ануреев, Игорь Сергеевич

Показать все ссылки каталога
Язык Atoment: синтаксис и семантика = The atoment Language: syntax and semantics
2010
Ануреев Игорь Сергеевич
1423
0
Упрощающие процедуры для типов данных, основанные на системах переписывания формул = Simplification procedures based on formula rewriting systems and intended for data types
1998
Ануреев Игорь Сергеевич
2006
0
Теория систем переписывания формул = Formula rewriting system theory
1998
Ануреев Игорь Сергеевич
1108
0
Язык машин естественных состояний USL
2004
Ануреев Игорь Сергеевич
2895
0
Системы переписывания формул и их применение в автоматической верификации программ : автореферат диссертации на соискание ученой степени к.ф.-м.н. : специальность 05.13.11
1998
Ануреев Игорь Сергеевич
908
0
Система машинной поддержки доказательства: от тактикалов к генератору тактикалов = A software support for formal reasoning: from tacticals to tactical generator
2002
Ануреев Игорь Сергеевич
2698
0
На пути к верификации С-программ = Towards the verification of C programs
2001
Непомнящий В. А., Ануреев Игорь Сергеевич, Михайлов И. Н., Промский Алексей Владимирович
1911
0
Применение систем переписывания формул в автоматической верификации программ = Formula Rewriting Systems Application to Automated Program Verification
1998
Ануреев Игорь Сергеевич
1125
0
Системы переходов, ориентированные на разработку средств спецификации и верификации программных систем = Transition systems oriented to development of software systems specification and verification tools
2012
Ануреев Игорь Сергеевич
1803
0
Системы переписывания формул
1997
Ануреев Игорь Сергеевич
2923
0
Язык Atoment: стандартная библиотека = The Atoment language: standard library
2010
Ануреев Игорь Сергеевич
1260
0