Показ
1 - 3
результатів із
3
для пошуку '
S. Fabunmi
'
Перейти до змісту
VuFind
Ваш обліковий запис
Вихід
Логін
Мова
English
Deutsch
Українська
Всі поля
Назва
Назва журналу
Автор
Предмет
Опис
Тег
Знайти
Розширений
Автор
S. Fabunmi
Показ
1 - 3
результатів із
3
для пошуку '
S. Fabunmi
'
, час виконання запиту: 0.01сек.
Уточнити результати
Сортувати
Релевантність
Дата у спадаючому порядку
Дата у зростаючому порядку
Шифр
Автор
Назва
Вибрати сторінку | з відміченими:
Е-пошта
Експорт
Друк
Зберегти
Вибрати результат під номером 1
1
Equivalence of two parallel execution systems
за авторством
T. V. Panchenko
,
S. Fabunmi
Опубліковано 2018
Отримати повний текст
Стаття
Додати у Вибране
Збережено в:
Вибрати результат під номером 2
2
Еквівалентність двох систем паралельного виконання
за авторством
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
доказательство частичной корректности
композиционно-номинативные языки
композиційно-номінативні мови
коректність програмного забезпечення
корректность программного обеспечения
параллельная программа
формальна верифікація
формальная верификация