Аффинное представление данных для проверки моделей программ
[2004-64504]/русский/Аффинное представление данных для проверки моделей программ = Affine representation of data for model checking / Н.О. Гаранина.Аффинное представление данных для проверки моделей программ / Н.О. Гаранина.Аффинное представление данных для проверки моделей программ = Affine representation of data for model checking.Новосибирск/Б.и./, 2004 ( ). - Б.и., 2004. - 48 с. : ил. ; 21 см. - (Препринт = Preprint / Рос. акад. наук. Сиб. отд-ние, Ин-т систем информатики им. А.П. Ершова ; 116).Аффинное представление данных для проверки моделей программ. Новосибирск, 2004 .
Авт. также на англ. яз.: Natalya O. Garanina. - Библиогр.: с. 48 (12 назв.). Библиогр.: с. 48 (12 назв.).Affine representation of data for model checking/Программы(компьют.) -- Верификация/nlr-sh1/З973.2-018-07/Garanina , Natalija O ./
Авт. также на англ. яз.: Natalya O. Garanina. - Библиогр.: с. 48 (12 назв.). Библиогр.: с. 48 (12 назв.).Affine representation of data for model checking/Программы(компьют.) -- Верификация/nlr-sh1/З973.2-018-07/Garanina , Natalija O ./