Towards C
Ик 2007-4/3 английский/Towards C .Towards C.Towards C.Novosibirsk/A.P. Ershov Inst. of informatics systems/, 2005 ( ). - A.P. Ershov Inst. of informatics systems, 2005. - 38 с. ; 21 см. - (Preprint = Препринт / Siberian div. of the Russ. acad. of sciences, A.P. Ershov Inst. of informatics systems ; 128).Towards C. Novosibirsk, 2005 .
На парал. тит. л. авт.: В.А. Непомнящий, И.С. Ануреев, И.В. Дубрановский, А.В. Промский. - Рез. на рус. яз. - Библиогр.: с. 37-38 (19 назв.). Библиогр.: с. 37-38 (19 назв.).На пути к верификации С/Программы (компьют.) -- Верификация/C#, язык программирования/З973.2-018-07/
На парал. тит. л. авт.: В.А. Непомнящий, И.С. Ануреев, И.В. Дубрановский, А.В. Промский. - Рез. на рус. яз. - Библиогр.: с. 37-38 (19 назв.). Библиогр.: с. 37-38 (19 назв.).На пути к верификации С/Программы (компьют.) -- Верификация/C#, язык программирования/З973.2-018-07/