Описание RUSMARC Карточка

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

2014-4/4468 2014-4/4468 [14-16842]/русский/Концептуальный базис трехуровневого метода верификации С# программ : Conceptual basis of three-level method of C# program verification / И. С. Ануреев.Концептуальный базис трехуровневого метода верификации С# программ : Conceptual basis of three-level method of C# program verification / И. С. Ануреев.Концептуальный базис трехуровневого метода верификации С# программ : Conceptual basis of three-level method of C# program verification.Новосибирск/Ин-т систем информатики/, 2013 ( ). - Ин-т систем информатики, 2013. - 42 с. ; 21 см. - (Препринт / Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А. П. Ершова ; 170).Концептуальный базис трехуровневого метода верификации С# программ : Conceptual basis of three-level method of C# program verification. Новосибирск, 2013 .
     Авт. также на англ. яз.: Anureev I.S. - Библиогр.: с. 42 (9 назв.). Библиогр.: с. 42 (9 назв.).Conceptual basis of three-level method of C# program verification/C#, язык программирования/Программы (компьют.) -- Верификация/З973.2-018-07/З973.23-018.1/ Ануреев, И. С., Игорь Сергеевич .И. С.Игорь СергеевичAnureev , Igor' Sergeevič ./