Рекомендовані теми у межах Вашого пошуку.
Рекомендовані теми у межах Вашого пошуку.
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за авторством Kudim, K.A., Reznichenko, V.A., Novitsky, A.V., Proskudina, G.Yu., Ovdii, O.M.Отримати повний текст
Опубліковано 2017
Стаття -
3