Showing
1 - 3
results of
3
for search '
S. Fabunmi
'
Skip to content
VuFind
Your Account
Log Out
Login
Language
English
Deutsch
Українська
Open Science Harvester of NAS of Ukraine
All Fields
Title
Journal Title
Author
Subject
Description
Tag
Full text
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 in
Проблеми програмування
(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
доказательство частичной корректности
композиционно-номинативные языки
композиційно-номінативні мови
коректність програмного забезпечення
корректность программного обеспечения
параллельная программа
формальна верифікація
формальная верификация