Treffer
1 - 1
von
1
für Suche '
Kartavov, M.O.
'
Weiter zum Inhalt
VuFind
Ihr Konto
Log out
Login
Sprache
English
Deutsch
Українська
Харвестер відкритої науки НАН України
Alle Felder
Titel
Zeitschriftentitel
Verfasser
Schlagwort
Beschreibung
Tag
Full text
Suchen
Erweitert
Verfasser
Kartavov, M.O.
Treffer
1 - 1
von
1
für Suche '
Kartavov, M.O.
'
, Suchdauer: 0,01s
Treffer weiter einschränken
Sortieren
Relevanz
Nach Datum, absteigend
Nach Datum, aufsteigend
Signatur
Verfasser
Titel
Alles auswählen | Auswahl:
E-Mail
Export
Drucken
Speichern
Bitte wählen Sie die Treffernummer 1
1
Correctness Property Proof for the Banking System for Money Transfer Payments
von
Ostapovska, Yu.A.
,
Panchenko, T.V.
,
Polishchuk, N.V.
,
Kartavov, M.O.
Veröffentlicht 2018
Volltext
Artikel
Zu den Favoriten
Gespeichert in:
Alles auswählen | Auswahl:
E-Mail
Export
Drucken
Speichern
Suchwerkzeuge:
RSS-Feed abonnieren
–
Diese Suche als E-Mail versenden
Ähnliche Schlagworte
IPCL
UDC 004.415.52
composition-nominative languages
concurrent program
formal verification
interleaving
invariant
safety property proof
software correctness
УДК 004.415.52
доведення часткової коректності
доказательство частичной корректности
инвариант
композиционно-номинативные языки
композиційно-номінативні мови
коректність програмного забезпечення
корректность программного обеспечения
паралельна програма
параллельная программа
формальна верифікація
формальная верификация
інваріант