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 |