Cover Image

Correctness Property Proof for the Banking System for Money Transfer Payments

Saved in:

Bibliographic Details
Date:	2016
Main Authors:	Yu. A. Ostapovska, T. V. Panchenko, N. V. Polishchuk, M. O. Kartavov
Format:	Article
Language:	English
Published:	2016
Series:	Problems in programming
Online Access:	http://jnas.nbuv.gov.ua/article/UJRN-0000518777
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Library portal of National Academy of Sciences of Ukraine \| LibNAS

Institution

Library portal of National Academy of Sciences of Ukraine | LibNAS

Similar Items

Correctness Property Proof for the Banking System for Money Transfer Payments
by: Ostapovska, Yu.A., et al.
Published: (2018)

Peterson’s Algorithm total correctness proof in IPCL
by: Zhygallo, A.A.
Published: (2016)

Peterson’s algorithm Total correctness proof in IPCL
by: Zhygallo, A.A.
Published: (2018)

Peterson&#039;s Algorithm total correctness proof in IPCL
by: A. A. Zhygallo
Published: (2016)

Organization of Electronic Money Audit in Banks
by: O. V. Melnychenko
Published: (2014)

Methods of Analysis of Electronic Money in Banks
by: O. V. Melnychenko
Published: (2014)

Accounting Concept of Electronic Money in Banks
by: O. V. Melnychenko
Published: (2014)

Audit of Systems of Electronic Money on the Basis of Integrated Bank Reporting
by: O. V. Melnychenko
Published: (2013)

Demand for money: view in terms of macroeconomics and Ukrainian bank system
by: K. Anufriieva
Published: (2014)

The Prospects for the Use of Bank Electronic Means of Payment
by: A. V. Rybchuk, et al.
Published: (2023)

Commercial banks in criminal money laundering schemes
by: T. Dimitrova
Published: (2018)

Commercial banks in criminal money laundering schemes
by: Dimitrova, T.
Published: (2018)

Friedrich von Hayek&#039;s concept of private money in times of expansion of electronic technologies in the international payment system
by: O. H. Boiko
Published: (2019)

Features of Authentification Technologies in the Internet Payment Systems on the Basis of Bank Cards
by: O. V. Kliuvak
Published: (2010)

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

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

The Conceptual Approaches to Improving the Security of the Banking Payment Environment of Ukraine
by: M. V. Dubyna, et al.
Published: (2020)

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

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

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

Audit of bank&#039;s information security when working with electronic money
by: O. V. Melnychenko
Published: (2013)

Electronic proofs and economic court
by: A. M. Naichenko
Published: (2017)

Classification of Payment Systems Based on Their Oversight
by: Yu. S. Balakina
Published: (2014)

Payment Systems in Ukraine and Risks of their Functioning
by: N. V. Trusova, et al.
Published: (2021)

Transformation of Payment Systems in the Digital Economy
by: Yu. R. Kozyr
Published: (2023)

The proof-structure of the transcendental deduction of categories
by: Yu. Fedorchenko
Published: (2015)

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

Essence of cryptocurreccy and historical prerequisites of development abstract liabilities as condition of bank emission of credit money
by: V. N. Usoskij
Published: (2018)

Essence of Cryptocurreccy and Historical Prerequisites of Development Abstract Liabilities as Condition of Bank Emission of Credit Money
by: V. N. Usoskij
Published: (2018)

Analysis organization of the system of payment
by: R. K. Shurpenkova, et al.
Published: (2011)

Administrative aspect of proof development of the self organized business-system
by: O. V. Aleinikova
Published: (2014)

Transformation of a banking payment business under the influence of fintech innovations
by: A. I. Shkliar
Published: (2018)

Impact of the macro-environment on functioning of the market of bank payment cards in Ukraine
by: R. O. Kapralov
Published: (2013)

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

Object of burden of proof in civil proceedings
by: N. B. Fartushok
Published: (2015)

Another proof for the continuity of the Lipsman mapping
by: A. Messaoud, et al.
Published: (2020)

Another proof for the continuity of the Lipsman mapping
by: Messaoud, A., et al.
Published: (2020)

Electronic payment system as an object of criminal encroachment
by: O. V. Vasylenko
Published: (2021)

Stamp money and treasury notes in money circulation in Ukraine during the World War I
by: S. V. Orlyk
Published: (2015)

Legal nature of electronic proofs in the economic court
by: A. M. Naichenko
Published: (2017)