Показ
1 - 2
результатів із
2
для пошуку '
Zhygallo, A.A.
'
Перейти до змісту
VuFind
Ваш обліковий запис
Вихід
Логін
Мова
English
Deutsch
Українська
Харвестер відкритої науки НАН України
Всі поля
Назва
Назва журналу
Автор
Предмет
Опис
Тег
Full text
Знайти
Розширений
Автор
Zhygallo, A.A.
Показ
1 - 2
результатів із
2
для пошуку '
Zhygallo, A.A.
'
, час виконання запиту: 0.01сек.
Уточнити результати
Сортувати
Релевантність
Дата у спадаючому порядку
Дата у зростаючому порядку
Шифр
Автор
Назва
Вибрати сторінку | з відміченими:
Е-пошта
Експорт
Друк
Зберегти
Вибрати результат під номером 1
1
Peterson’s algorithm Total correctness proof in IPCL
за авторством
Zhygallo, A.A.
Опубліковано 2018
Отримати повний текст
Стаття
Додати у Вибране
Збережено в:
Вибрати результат під номером 2
2
Peterson’s Algorithm total correctness proof in IPCL
за авторством
Zhygallo, A.A.
Опубліковано в:
Проблеми програмування
(2016)
Отримати повний текст
Стаття
Додати у Вибране
Збережено в:
Вибрати сторінку | з відміченими:
Е-пошта
Експорт
Друк
Зберегти
Інструменти для пошуку:
Отримати RSS-стрічку
–
Відправити пошук е-поштою
Пов'язані теми
IPCL
Peterson’s algorithm
UDC 004.415.52
composition-nominative languages
concurrent program
formal verification
interleaving
liveness property
mutual exclusion
software total correctness
Паралельне програмування. Розподілені системи і мережі
УДК 004.415.52
алгоритм Петерсона
алгоритм Пітерсона
взаимное исключение
взаємне виключення
композиционно-номинативные языки
композиційно-номінативні мови
паралельна програма
параллельная программа
тотальна коректність програм
тотальная корректность программ
формальна верифікація
формальная верификация