Ähnliche Schlagwörter innerhalb Ihrer Suche.
Ähnliche Schlagwörter innerhalb Ihrer Suche.
IPCL
2
composition-nominative languages
2
concurrent program
2
formal verification
2
interleaving
2
safety property proof
2
software correctness
2
доказательство частичной корректности
2
композиционно-номинативные языки
2
композиційно-номінативні мови
2
коректність програмного забезпечення
корректность программного обеспечения
2
параллельная программа
2
формальна верифікація
2
формальная верификация
2
681.3
1
UDC 004.415
1
UDC 004.415.52
1
invariant
1
УДК 004.415
1
УДК 004.415.52
1
доведення часткової коректності
1
инвариант
1
паралельна програма
1
інваріант
1