Suggested Topics within your search.
Suggested Topics within your search.
UDC 004.415
3
УДК 004.415
2
681.3
1
CERIF
1
CIDOC CRM
1
FRBR
1
FRBRоо
1
IPCL
1
SPAR
1
composition-nominative languages
1
concurrent program
1
formal verification
1
interleaving
1
safety property proof
1
software correctness
1
ЕНИП
1
доказательство частичной корректности
1
композиционно-номинативные языки
1
композиційно-номінативні мови
1
коректність програмного забезпечення
1
корректность программного обеспечения
1
параллельная программа
1
формальна верифікація
1
формальная верификация
1
-
1
-
2
-
3