Showing
1 - 3
results of
3
for search '
S. Fabunmi
'
Skip to content
VuFind
Your Account
Log Out
Login
Language
English
Deutsch
Українська
All Fields
Title
Journal Title
Author
Subject
Description
Tag
Find
Advanced
Author
S. Fabunmi
Showing
1 - 3
results of
3
for search '
S. Fabunmi
'
, 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
Equivalence of two parallel execution systems
by
T. V. Panchenko
,
S. Fabunmi
Published 2018
Get full text
Article
Save to List
Saved in:
Select result number 2
2
Equivalence of two parallel execution systems
by
Panchenko, T. V.
,
Fabunmi, S.
Published 2018
Get full text
Article
Save to List
Saved in:
Select result number 3
3
Еквівалентність двох систем паралельного виконання
by
Панченко, Т.В.
,
Fabunmi Sunmade
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
681.3
IPCL
UDC 004.415
composition-nominative languages
concurrent program
formal verification
interleaving
safety property proof
software correctness
Паралельне програмування. Розподілені системи і мережі
УДК 004.415
доказательство частичной корректности
композиционно-номинативные языки
композиційно-номінативні мови
коректність програмного забезпечення
корректность программного обеспечения
параллельная программа
формальна верифікація
формальная верификация