Показ
1 - 3
результатів із
3
для пошуку '
Fabunmi, S.
'
Перейти до змісту
VuFind
Ваш обліковий запис
Вихід
Логін
Мова
English
Deutsch
Українська
Харвестер відкритої науки НАН України
Всі поля
Назва
Назва журналу
Автор
Предмет
Опис
Тег
Full text
Знайти
Розширений
Автор
Fabunmi, S.
Показ
1 - 3
результатів із
3
для пошуку '
Fabunmi, S.
'
, час виконання запиту: 0.01сек.
Уточнити результати
Сортувати
Релевантність
Дата у спадаючому порядку
Дата у зростаючому порядку
Шифр
Автор
Назва
Вибрати сторінку | з відміченими:
Е-пошта
Експорт
Друк
Зберегти
Вибрати результат під номером 1
1
Equivalence of two parallel execution systems
за авторством
T. V. Panchenko
,
S. Fabunmi
Опубліковано 2018
Отримати повний текст
Стаття
Додати у Вибране
Збережено в:
Вибрати результат під номером 2
2
Equivalence of two parallel execution systems
за авторством
Panchenko, T.V.
,
Fabunmi, S.
Опубліковано 2018
Отримати повний текст
Стаття
Додати у Вибране
Збережено в:
Вибрати результат під номером 3
3
Еквівалентність двох систем паралельного виконання
за авторством
Панченко, Т.В.
,
Fabunmi Sunmade
Опубліковано в:
Проблеми програмування
(2018)
Отримати повний текст
Стаття
Додати у Вибране
Збережено в:
Вибрати сторінку | з відміченими:
Е-пошта
Експорт
Друк
Зберегти
Інструменти для пошуку:
Отримати RSS-стрічку
–
Відправити пошук е-поштою
Пов'язані теми
681.3
IPCL
UDC 004.415
composition-nominative languages
concurrent program
formal verification
interleaving
safety property proof
software correctness
Паралельне програмування. Розподілені системи і мережі
УДК 004.415
доказательство частичной корректности
композиционно-номинативные языки
композиційно-номінативні мови
коректність програмного забезпечення
корректность программного обеспечения
параллельная программа
формальна верифікація
формальная верификация