Փոփոխությունների ֆորմալ վերիֆիկացիա բիզնես պրոցեսների շաբլոնների համար : Սեղմագիր ֆիզ.-մաթ. գիտ. թեկն. ... ատենախոս. : Ե.13.04 / ՀՀ ԳԱԱ ԻԱՊԻ.
Նյութի տեսակ։
ՏեքստԼեզու: Հայերեն Հրատարակման մանրամասներ։ Երևան, 2011.Նկարագրություն։ 23 էջԱյլ վերնագիր։ - Формальная верификация изменений в шаблонах бизнес процессов. Автореферат дис. ... канд. физ.-мат. наук : 05.13.04 [Զուգահեռ վերնագիր]
| Նյութի տեսակ | Ընթացիկ գրադարան | Հավաքածու | Դարակային համար | Վիճակ | Նշումներ | Վերադարձի ամսաթիվ | Շտրիխ կոդ |
|---|---|---|---|---|---|---|---|
| Author's Abstracts | National Polytechnic University Library Scientific | Dissertations Reading Room | 004.4:004.38(043.3) Վ-33 (Դիտման դարակ(Բացվում է ներքևում)) | In House | One Hour Loan | EU0434171 |
Գիտ. ղեկ.՝ Ս.Կ. Շուքուրյան