Showing
1 - 1
results of
1
for search '
Ostapovska, Yu.A.
'
Skip to content
VuFind
Your Account
Log Out
Login
Language
English
Deutsch
Українська
All Fields
Title
Journal Title
Author
Subject
Description
Tag
Full text
Find
Advanced
Author
Ostapovska, Yu.A.
Showing
1 - 1
results of
1
for search '
Ostapovska, Yu.A.
'
, query time: 0.01s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
Select Page | with selected:
Email
Export
Print
Save
Select result number 1
1
Correctness Property Proof for the Banking System for Money Transfer Payments
by
Ostapovska, Yu.A.
,
Panchenko, T.V.
,
Polishchuk, N.V.
,
Kartavov, M.O.
Published 2018
Get full text
Article
Save to List
Saved in:
Select Page | with selected:
Email
Export
Print
Save
Search Tools:
RSS Feed
–
Email Search
Related Subjects
IPCL
UDC 004.415.52
composition-nominative languages
concurrent program
formal verification
interleaving
invariant
safety property proof
software correctness
УДК 004.415.52
доведення часткової коректності
доказательство частичной корректности
инвариант
композиционно-номинативные языки
композиційно-номінативні мови
коректність програмного забезпечення
корректность программного обеспечения
паралельна програма
параллельная программа
формальна верифікація
формальная верификация
інваріант