000 01592nam a2200217 u 4500
001 000817042
005 20240715054904.0
008 110615s2011 ai fra 0 arm d
041 0 _aarm
100 1 _aՎարոսյան, Աննա Սերգեյի
245 1 0 _aՓոփոխությունների ֆորմալ վերիֆիկացիա բիզնես պրոցեսների շաբլոնների համար :
_bՍեղմագիր ֆիզ.-մաթ. գիտ. թեկն. ... ատենախոս. : Ե.13.04 /
_cՀՀ ԳԱԱ ԻԱՊԻ.
246 1 1 _aФормальная верификация изменений в шаблонах бизнес процессов.
_bАвтореферат дис. ... канд. физ.-мат. наук : 05.13.04
260 _aԵրևան,
_c2011.
300 _a23 էջ.
502 _aԳիտ. ղեկ.՝ Ս.Կ. Շուքուրյան
650 1 4 _aՀաշվողական մեքենաների, համալիրների, համակարգերի և ցանցերի մաթեմատիկական և ծրագրային ապահովում
655 7 _aThesis
710 2 _aՀՀ գիտության ազգային ակադեմիա
710 2 _aԻնֆորմատիկայի և ավտոմատացման պրոբլեմների ինստիտուտ
999 _c86384
_d86384