Treffer
1 - 2
von
2
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 - 2
von
2
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:
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
доказательство частичной корректности
композиционно-номинативные языки
композиційно-номінативні мови
коректність програмного забезпечення
корректность программного обеспечения
параллельная программа
формальна верифікація
формальная верификация