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

Рубрикатор НБУВ:
Тематичні рубрики:


Дод. точки доступу:
Ереванский государственный университет

Видання зберігається у :
Основний фонд