Correctness Property Proof for the Banking System for Money Transfer Payments

Correctness Property Proof for the Banking System for Money Transfer Payments

Збережено в:

Бібліографічні деталі
Дата:	2016
Автори:	Yu. A. Ostapovska, T. V. Panchenko, N. V. Polishchuk, M. O. Kartavov
Формат:	Стаття
Мова:	English
Опубліковано:	2016
Назва видання:	Problems in programming
Онлайн доступ:	http://jnas.nbuv.gov.ua/article/UJRN-0000518777
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Library portal of National Academy of Sciences of Ukraine \| LibNAS

Репозитарії

Library portal of National Academy of Sciences of Ukraine | LibNAS

Схожі ресурси

Correctness Property Proof for the Banking System for Money Transfer Payments
за авторством: Ostapovska, Yu.A., та інші
Опубліковано: (2018)

Peterson’s Algorithm total correctness proof in IPCL
за авторством: Zhygallo, A.A.
Опубліковано: (2016)

Peterson’s algorithm Total correctness proof in IPCL
за авторством: Zhygallo, A.A.
Опубліковано: (2018)

Peterson's Algorithm total correctness proof in IPCL
за авторством: A. A. Zhygallo
Опубліковано: (2016)

Accounting Concept of Electronic Money in Banks
за авторством: O. V. Melnychenko
Опубліковано: (2014)

Methods of Analysis of Electronic Money in Banks
за авторством: O. V. Melnychenko
Опубліковано: (2014)

Organization of Electronic Money Audit in Banks
за авторством: O. V. Melnychenko
Опубліковано: (2014)

Audit of Systems of Electronic Money on the Basis of Integrated Bank Reporting
за авторством: O. V. Melnychenko
Опубліковано: (2013)

Friedrich von Hayek's concept of private money in times of expansion of electronic technologies in the international payment system
за авторством: O. H. Boiko
Опубліковано: (2019)

Demand for money: view in terms of macroeconomics and Ukrainian bank system
за авторством: K. Anufriieva
Опубліковано: (2014)

The Prospects for the Use of Bank Electronic Means of Payment
за авторством: A. V. Rybchuk, та інші
Опубліковано: (2023)

Commercial banks in criminal money laundering schemes
за авторством: Dimitrova, T.
Опубліковано: (2018)

Commercial banks in criminal money laundering schemes
за авторством: T. Dimitrova
Опубліковано: (2018)

Features of Authentification Technologies in the Internet Payment Systems on the Basis of Bank Cards
за авторством: O. V. Kliuvak
Опубліковано: (2010)

Money Transfers to Ukraine by Labor Migrants: Macroeconomic Tendencies and Regional Peculiarities
за авторством: O. H. Chubar, та інші
Опубліковано: (2019)

Systems for visualization of welding processes in real-time mode using noise-proof channel for transfer of secondary electron emission signal
за авторством: V. A. Matvejchuk
Опубліковано: (2016)

Monetary policy as an institution to ensure confidence in money and banking system: logical-historical analysis
за авторством: T. O. Krychevska
Опубліковано: (2017)

The Conceptual Approaches to Improving the Security of the Banking Payment Environment of Ukraine
за авторством: M. V. Dubyna, та інші
Опубліковано: (2020)

Audit of bank's information security when working with electronic money
за авторством: O. V. Melnychenko
Опубліковано: (2013)

Evaluation of the detection and correction properties of the reference dictionary of the system for checking and correcting orthography
за авторством: V. A. Lytvynov, та інші
Опубліковано: (2019)

Optimizing ATM-Network as a Factor for Increasing the Efficiency of Bank Activities in the Sphere of Payment Systems
за авторством: V. O. Chernomor
Опубліковано: (2015)

Classification of Payment Systems Based on Their Oversight
за авторством: Yu. S. Balakina
Опубліковано: (2014)

Payment Systems in Ukraine and Risks of their Functioning
за авторством: N. V. Trusova, та інші
Опубліковано: (2021)

Electronic proofs and economic court
за авторством: A. M. Naichenko
Опубліковано: (2017)

Transformation of Payment Systems in the Digital Economy
за авторством: Yu. R. Kozyr
Опубліковано: (2023)

Administrative aspect of proof development of the self organized business-system
за авторством: O. V. Aleinikova
Опубліковано: (2014)

Analysis organization of the system of payment
за авторством: R. K. Shurpenkova, та інші
Опубліковано: (2011)

The proof-structure of the transcendental deduction of categories
за авторством: Yu. Fedorchenko
Опубліковано: (2015)

Essence of cryptocurreccy and historical prerequisites of development abstract liabilities as condition of bank emission of credit money
за авторством: V. N. Usoskij
Опубліковано: (2018)

Essence of Cryptocurreccy and Historical Prerequisites of Development Abstract Liabilities as Condition of Bank Emission of Credit Money
за авторством: V. N. Usoskij
Опубліковано: (2018)

The genesis and the fundamental differences of the paradigms of modern traditional and Islamic banks as intermediaries on the money market
за авторством: L. N. Rjabinina
Опубліковано: (2015)

Transformation of a banking payment business under the influence of fintech innovations
за авторством: A. I. Shkliar
Опубліковано: (2018)

Impact of the macro-environment on functioning of the market of bank payment cards in Ukraine
за авторством: R. O. Kapralov
Опубліковано: (2013)

The genesis and the fundamental differences of the paradigms of modern traditional and Islamic banks as intermediaries on the money market
за авторством: L. M. Riabinina
Опубліковано: (2015)

Object of burden of proof in civil proceedings
за авторством: N. B. Fartushok
Опубліковано: (2015)

Electronic payment system as an object of criminal encroachment
за авторством: O. V. Vasylenko
Опубліковано: (2021)

Another proof for the continuity of the Lipsman mapping
за авторством: A. Messaoud, та інші
Опубліковано: (2020)

Stamp money and treasury notes in money circulation in Ukraine during the World War I
за авторством: S. V. Orlyk
Опубліковано: (2015)

Legal nature of electronic proofs in the economic court
за авторством: A. M. Naichenko
Опубліковано: (2017)

Local Proof of Algebraic Characterization of Free Actions
за авторством: Baum, P.F., та інші
Опубліковано: (2014)