1) доказательство || доказывать 2) проверка 3) обеспечивать сопротивляемость (напр., против неумелого использования) • - formal program proof - formal proof - indirect proof - irreducible proof - page proof - program proof - proof of termination - tree form proof - variant proof - zero proof
PROOF
Англо-русский перевод PROOF
Масловский Е.К.. English-Russian dictionary of computer science. Англо-Русский словарь по вычислительной технике и программированию. 2005