Նորմալ դիտում MARC դիտում ISBD Դիտում

Վարոսյան, Աննա Սերգեյի

Փոփոխությունների ֆորմալ վերիֆիկացիա բիզնես պրոցեսների շաբլոնների համար : Սեղմագիր ֆիզ.-մաթ. գիտ. թեկն. ... ատենախոս. : Ե.13.04 / Формальная верификация изменений в шаблонах бизнес процессов. Автореферат дис. ... канд. физ.-мат. наук : 05.13.04 ՀՀ ԳԱԱ ԻԱՊԻ. - Երևան, 2011. - 23 էջ.

Գիտ. ղեկ.՝ Ս.Կ. Շուքուրյան

Subjects--Topical Terms:
Հաշվողական մեքենաների, համալիրների, համակարգերի և ցանցերի մաթեմատիկական և ծրագրային ապահովում

Index Terms--Genre/Form:
Thesis