Correctness Property Proof for the Banking System for Money Transfer Payments

Correctness Property Proof for the Banking System for Money Transfer Payments

Gespeichert in:

Bibliographische Detailangaben
Datum:	2016
Hauptverfasser:	Yu. A. Ostapovska, T. V. Panchenko, N. V. Polishchuk, M. O. Kartavov
Format:	Artikel
Sprache:	English
Veröffentlicht:	2016
Schriftenreihe:	Problems in programming
Online Zugang:	http://jnas.nbuv.gov.ua/article/UJRN-0000518777
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Library portal of National Academy of Sciences of Ukraine \| LibNAS

Institution

Library portal of National Academy of Sciences of Ukraine | LibNAS

Ähnliche Einträge

Correctness Property Proof for the Banking System for Money Transfer Payments
von: Ostapovska, Yu.A., et al.
Veröffentlicht: (2018)

Peterson’s Algorithm total correctness proof in IPCL
von: Zhygallo, A.A.
Veröffentlicht: (2016)

Peterson’s algorithm Total correctness proof in IPCL
von: Zhygallo, A.A.
Veröffentlicht: (2018)

Peterson's Algorithm total correctness proof in IPCL
von: A. A. Zhygallo
Veröffentlicht: (2016)

Accounting Concept of Electronic Money in Banks
von: O. V. Melnychenko
Veröffentlicht: (2014)

Methods of Analysis of Electronic Money in Banks
von: O. V. Melnychenko
Veröffentlicht: (2014)

Organization of Electronic Money Audit in Banks
von: O. V. Melnychenko
Veröffentlicht: (2014)

Audit of Systems of Electronic Money on the Basis of Integrated Bank Reporting
von: O. V. Melnychenko
Veröffentlicht: (2013)

Friedrich von Hayek's concept of private money in times of expansion of electronic technologies in the international payment system
von: O. H. Boiko
Veröffentlicht: (2019)

Demand for money: view in terms of macroeconomics and Ukrainian bank system
von: K. Anufriieva
Veröffentlicht: (2014)

The Prospects for the Use of Bank Electronic Means of Payment
von: A. V. Rybchuk, et al.
Veröffentlicht: (2023)

Features of Authentification Technologies in the Internet Payment Systems on the Basis of Bank Cards
von: O. V. Kliuvak
Veröffentlicht: (2010)

Commercial banks in criminal money laundering schemes
von: T. Dimitrova
Veröffentlicht: (2018)

Commercial banks in criminal money laundering schemes
von: Dimitrova, T.
Veröffentlicht: (2018)

Money Transfers to Ukraine by Labor Migrants: Macroeconomic Tendencies and Regional Peculiarities
von: O. H. Chubar, et al.
Veröffentlicht: (2019)

Monetary policy as an institution to ensure confidence in money and banking system: logical-historical analysis
von: T. O. Krychevska
Veröffentlicht: (2017)

Audit of bank's information security when working with electronic money
von: O. V. Melnychenko
Veröffentlicht: (2013)

Systems for visualization of welding processes in real-time mode using noise-proof channel for transfer of secondary electron emission signal
von: V. A. Matvejchuk
Veröffentlicht: (2016)

The Conceptual Approaches to Improving the Security of the Banking Payment Environment of Ukraine
von: M. V. Dubyna, et al.
Veröffentlicht: (2020)

Optimizing ATM-Network as a Factor for Increasing the Efficiency of Bank Activities in the Sphere of Payment Systems
von: V. O. Chernomor
Veröffentlicht: (2015)

Evaluation of the detection and correction properties of the reference dictionary of the system for checking and correcting orthography
von: V. A. Lytvynov, et al.
Veröffentlicht: (2019)

Payment Systems in Ukraine and Risks of their Functioning
von: N. V. Trusova, et al.
Veröffentlicht: (2021)

Administrative aspect of proof development of the self organized business-system
von: O. V. Aleinikova
Veröffentlicht: (2014)

Classification of Payment Systems Based on Their Oversight
von: Yu. S. Balakina
Veröffentlicht: (2014)

Impact of the macro-environment on functioning of the market of bank payment cards in Ukraine
von: R. O. Kapralov
Veröffentlicht: (2013)

Transformation of Payment Systems in the Digital Economy
von: Yu. R. Kozyr
Veröffentlicht: (2023)

Analysis organization of the system of payment
von: R. K. Shurpenkova, et al.
Veröffentlicht: (2011)

Essence of Cryptocurreccy and Historical Prerequisites of Development Abstract Liabilities as Condition of Bank Emission of Credit Money
von: V. N. Usoskij
Veröffentlicht: (2018)

Essence of cryptocurreccy and historical prerequisites of development abstract liabilities as condition of bank emission of credit money
von: V. N. Usoskij
Veröffentlicht: (2018)

The genesis and the fundamental differences of the paradigms of modern traditional and Islamic banks as intermediaries on the money market
von: L. N. Rjabinina
Veröffentlicht: (2015)

The proof-structure of the transcendental deduction of categories
von: Yu. Fedorchenko
Veröffentlicht: (2015)

Transformation of a banking payment business under the influence of fintech innovations
von: A. I. Shkliar
Veröffentlicht: (2018)

Electronic proofs and economic court
von: A. M. Naichenko
Veröffentlicht: (2017)

Object of burden of proof in civil proceedings
von: N. B. Fartushok
Veröffentlicht: (2015)

Electronic payment system as an object of criminal encroachment
von: O. V. Vasylenko
Veröffentlicht: (2021)

The genesis and the fundamental differences of the paradigms of modern traditional and Islamic banks as intermediaries on the money market
von: L. M. Riabinina
Veröffentlicht: (2015)

Theoretical Foundations of Electronic Money
von: O. V. Melnychenko
Veröffentlicht: (2013)

State regulation of the money circulation and the money market under the conditions of the military state
von: O. P. Petrenko
Veröffentlicht: (2022)

Another proof for the continuity of the Lipsman mapping
von: A. Messaoud, et al.
Veröffentlicht: (2020)

Problems of Ukraine in mass cashless payments using payment cards
von: O. B. Chernyshova
Veröffentlicht: (2013)