Доведення властивості коректної роботи банківської системи виплати грошових переказів / Остаповська Ю. А., Панченко Т. В., Поліщук Н. В., Картавов М. О. (2016)
Ukrainian

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

Остаповська Ю. А., Панченко Т. В., Поліщук Н. В., Картавов М. О.
Доведення властивості коректної роботи банківської системи виплати грошових переказів

Бібліографічний опис:
Остаповська Ю. А., Панченко Т. В., Поліщук Н. В., Картавов М. О. Доведення властивості коректної роботи банківської системи виплати грошових переказів. Проблеми програмування. 2016. № 2-3(спец. вип.). С. 119-132. URL: http://jnas.nbuv.gov.ua/article/UJRN-0000518777

English  Problems in programming   /     Issue (2016, 2-3(спец. вип.))

Ostapovska Yu. A., Panchenko T. V., Polishchuk N. V., Kartavov M. O.
Correctness Property Proof for the Banking System for Money Transfer Payments

Cite:
Ostapovska, Yu. A., Panchenko, T. V., Polishchuk, N. V., Kartavov, M. O. (2016). Correctness Property Proof for the Banking System for Money Transfer Payments. Problems in programming, 2-3(спец. вип.), 119-132. http://jnas.nbuv.gov.ua/article/UJRN-0000518777 [In Ukrainian].

 

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

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