Terms containing program proof

Subject	English	Russian
gen.	ABC's Flagship Bullet Proof Manager Program	Ведущая программа АВС "Несокрушимый Менеджер" (Yeldar Azanbayev)
IT	crash-proof program	живучая программа (защищённая от разрушения)
IT	crash-proof program	программа, устойчивая к сбою
IT	crash-proof program	живучая программа (защищённая от разрушения)
IT	crash-proof program	живучая программа
IT	crash-proof program	программа, устойчивая с сбою
data.prot.	crash-proof program	защищенная от разрушения программа
sec.sys.	crash-proof program	защищённая от разрушения программа
IT	formal program proof	формальное доказательство правильности программы
IT	program correctness proof	доказательство правильности программы
comp.	program proof	доказательство правильности программы
nano	proof-of-principle program	программа НИОКР по проверке и подтверждению принципа действия системы
progr.	proofs of theorem and programs	доказательства теорем и программ (ssn)
progr.	seminal paper on social processes and proofs of theorem and programs	оригинальная статья о социальных процессах и доказательствах теорем и программ (ssn)