Search for 'au:Anureev' with limit(s): 'suppress:false'

USL - the language of natural state machines

By I.S. Anureev.
Novosibirsk A.P. Ershov inst. of informatics systems 2004 .
25 с. , Авт. также на рус. яз.: И.С. Ануреев 21.

Язык Atoment: стандартная библиотека

By И.С. Ануреев.
Новосибирск [б. и.] 2010 .
31 с. , Авт. также на англ. яз.: I.S. Anureev | Рез. на англ. яз. 21.

Концептуальный базис трехуровневого метода верификации С# программ , Conceptual basis of three-level method of C# program verification

By И. С. Ануреев.
Новосибирск Ин-т систем информатики 2013 .
42 с. , Авт. также на англ. яз.: Anureev I.S. 21.

Язык машин естественных состояний USL

By И.С. Ануреев.
Новосибирск Прайс-курьер 2004 .
25 с. , На обл.: USL - The language of natural statemachines / I.S. Anureev | Текст на рус. и англ. яз. 20.

Язык Atoment: синтаксис и семантика

By И.С. Ануреев.
Новосибирск Институт систем информатики 2010 .
38 с. , Авт. также на англ. яз.: I.S. Anureev | Рез. на англ. яз. 21.

Системы переходов, ориентированные на разработку средств спецификации и верификации программных систем

By И. С. Ануреев.
Новосибирск Институт систем информатики им. А.П. Ершова СО РАН 2012 .
28 с. , Авт. также на англ. яз.: I.S. Anureev | Рез. на англ. яз. 21.

Towards C

Novosibirsk A.P. Ershov Inst. of informatics systems 2005 .
38 с. , На парал. тит. л. авт.: В.А. Непомнящий, И.С. Ануреев, И.В. Дубрановский, А.В. Промский | Рез. на рус. яз. 21.