Sign in | English | Terms of Use
DictionaryForumContacts

   Russian ⇄ English
Google | Forvo | +
формальная верификация
 формальная верификация
IT formal verification
 | кода
 "кода"
textile tradem. koda
 код
libr. IT instruction
navig. word
 код SWIFT-BIC
bank. код BIC
 кода
ling. code
mus. coda; outro
poetry cauda; tail

to phrases
формальная верификацияstresses
IT formal verification
 Russian thesaurus
формальная верификация
data.prot. Преобразование доказательства правильности программы в доказательство теоремы в вычислении предикатов первого порядка
формальная верификация: 47 phrases in 2 subjects
Programming28
Software19

Add | Report an error | Get short URL | Language Selection Tips