Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
Russian
⇄
Chinese
English
Russian
Ukrainian
G
o
o
g
l
e
|
Forvo
|
+
формальная верификация
stresses
comp.
形式验证
Russian thesaurus
формальная верификация
data.prot.
Преобразование доказательства правильности программы в доказательство теоремы в вычислении предикатов первого порядка
The server is undergoing maintenance and the site is working in read-only mode. Please check back later.">
Add
|
The server is undergoing maintenance and the site is working in read-only mode. Please check back later.">
Report an error
|
Get short URL
|
Language Selection Tips