Treffer
1 - 1
von
1
für Suche '
Polishchuk, N.V.
'
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
Polishchuk, N.V.
Treffer
1 - 1
von
1
für Suche '
Polishchuk, N.V.
'
, 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
доведення часткової коректності
доказательство частичной корректности
инвариант
композиционно-номинативные языки
композиційно-номінативні мови
коректність програмного забезпечення
корректность программного обеспечения
паралельна програма
параллельная программа
формальна верифікація
формальная верификация
інваріант