DictionaryForumContacts

   Russian
Google | Forvo | +
формальная верификацияstresses
comp. 形式验证
 Russian thesaurus
формальная верификация
data.prot. Преобразование доказательства правильности программы в доказательство теоремы в вычислении предикатов первого порядка