Suggested Topics within your search.
Suggested Topics within your search.
Математическое моделирование и вычислительные методы
3
IPCL
1
Peterson’s algorithm
1
UDC 004.415.52
1
composition-nominative languages
1
concurrent program
1
formal verification
1
interleaving
1
liveness property
1
mutual exclusion
1
software total correctness
1
Взгляд на проблему
1
Мікологічні знахідки
1
Паралельне програмування. Розподілені системи і мережі
1
Прогресивні інформаційні технології, високопродуктивні комп’ютерні системи
1
УДК 004.415.52
1
Флора и география
1
Языки программирования
1
алгоритм Петерсона
1
алгоритм Пітерсона
1
взаимное исключение
1
взаємне виключення
1
композиционно-номинативные языки
1
композиційно-номінативні мови
1
паралельна програма
1
параллельная программа
1
тотальна коректність програм
1
тотальная корректность программ
1
формальна верифікація
1
формальная верификация
1
-
1
-
2
-
3
-
4
-
5
-
6
-
7
-
8
-
9
-
10
-
11
-
12
-
13