A formal approach to the error localization.
Ик 2013-4/96 [2013-30416]/английский/A formal approach to the error localization. = Формальный подход к локализации ошибок / A.V. Promsky.A formal approach to the error localization. / A.V. Promsky.A formal approach to the error localization. = Формальный подход к локализации ошибок.Novosibirsk/A.P. Ershov institute of informatics systems/, 2012 ( ). - A.P. Ershov institute of informatics systems, 2012. - 32 с. : ил. ; 21 см. - (Preprint = Препринт / Siberian div. of the Russ. acad. of sciences, A.P. Ershov inst. of informatics systems ; 169).A formal approach to the error localization. Novosibirsk, 2012 .
На парал. тит. л. авт. на рус. яз.: А.В. Промский. - Рез. на рус. яз. - Библиогр.: с. 31-32 (13 назв.). Библиогр.: с. 31-32 (13 назв.).Формальный подход к локализации ошибок/Программы (компьют.) -- Верификация/З973.2-018-07/Промский , Алексей Владимирович ./
На парал. тит. л. авт. на рус. яз.: А.В. Промский. - Рез. на рус. яз. - Библиогр.: с. 31-32 (13 назв.). Библиогр.: с. 31-32 (13 назв.).Формальный подход к локализации ошибок/Программы (компьют.) -- Верификация/З973.2-018-07/Промский , Алексей Владимирович ./