Treffer
1 - 3
von
3
für Suche '
S. Fabunmi
'
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
S. Fabunmi
Treffer
1 - 3
von
3
für Suche '
S. Fabunmi
'
, 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
Equivalence of two parallel execution systems
von
T. V. Panchenko
,
S. Fabunmi
Veröffentlicht 2018
Volltext
Artikel
Zu den Favoriten
Gespeichert in:
Bitte wählen Sie die Treffernummer 2
2
Equivalence of two parallel execution systems
von
Panchenko, T.V.
,
Fabunmi, S.
Veröffentlicht 2018
Volltext
Artikel
Zu den Favoriten
Gespeichert in:
Bitte wählen Sie die Treffernummer 3
3
Еквівалентність двох систем паралельного виконання
von
Панченко, Т.В.
,
Fabunmi Sunmade
Veröffentlicht in
Проблеми програмування
(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
681.3
IPCL
UDC 004.415
composition-nominative languages
concurrent program
formal verification
interleaving
safety property proof
software correctness
Паралельне програмування. Розподілені системи і мережі
УДК 004.415
доказательство частичной корректности
композиционно-номинативные языки
композиційно-номінативні мови
коректність програмного забезпечення
корректность программного обеспечения
параллельная программа
формальна верифікація
формальная верификация