Ähnliche Schlagwörter innerhalb Ihrer Suche.
Ähnliche Schlagwörter innerhalb Ihrer Suche.
Математическое моделирование и вычислительные методы
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
-
9von Heluta, V.P., Siahaan, S.A.S., Takamatsu, S.Volltext
Veröffentlicht in Український ботанічний журнал (2016)
Artikel -
10von Branson, T.P.Volltext
Veröffentlicht in Symmetry, Integrability and Geometry: Methods and Applications (2007)
Artikel -
11
-
12
-
13