Рекомендовані теми у межах Вашого пошуку.
Рекомендовані теми у межах Вашого пошуку.
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
УДК 004.415.52
1
алгоритм Петерсона
1
алгоритм Пітерсона
1
взаимное исключение
1
взаємне виключення
1
композиционно-номинативные языки
1
композиційно-номінативні мови
1
паралельна програма
1
параллельная программа
1
тотальна коректність програм
1
тотальная корректность программ
1
формальна верифікація
1
формальная верификация
1
-
1