|
|
РА381376
Аракелян, Ара Гайкович.
О типовой корректности функциональных программ [Text] : автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / Аракелян Ара Гайкович ; Ереван. гос. ун-т. - Ереван, 2011. - 22 с. - Текст вірм.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Ереванский государственный университет
Видання зберігається у :
Основний фонд
|
|