Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем / Колчин А. В., Летичевский А. А., Потиенко С. В. (2014)
Ukrainian

інтернет-адреса сторінки: http://jnas.nbuv.gov.ua/article/UJRN-0000168909
  Проблеми програмування  Б - 2020  /     Випуск (2014, № 2-3)

Колчин А. В., Летичевский А. А., Потиенко С. В.
Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем

Бібліографічний опис:
Колчин А. В., Летичевский А. А., Потиенко С. В. Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем. Проблеми програмування. 2014. № 2-3. С. 146-150. URL: http://jnas.nbuv.gov.ua/article/UJRN-0000168909

English  Problems in programming   /     Issue (2014, 2-3)

translit Transliteration

Kolchin A. V., Letichevskij A. A., Potienko S. V.
Metod staticheskoj proverki polnoty i neprotivorechivosti v formalnykh modeljakh raspredelennykh programmnykh sistem

Cite:
Kolchin, A. V., Letichevskij, A. A., Potienko, S. V. (2014). Metod staticheskoj proverki polnoty i neprotivorechivosti v formalnykh modeljakh raspredelennykh programmnykh sistem. Problems in programming, 2-3, 146-150 http://jnas.nbuv.gov.ua/article/UJRN-0000168909 [In Russian].

 

Інститут інформаційних технологій НБУВ

+38 (044) 525-36-24
libnas@nbuv.gov.ua
Голосіївський просп., 3, к. 209
м. Київ, 03039, Україна