доказать

Terms for subject Programming containing доказать | all forms | exact matches only

Russian	English
доказано практикой	proven-in-use (ssn)
доказать отсутствие ошибок во время выполнения	prove the absence of runtime exceptions (корпорации AdaCore Alex_Odeychuk)
доказать отсутствие ошибок времени выполнения	demonstrate the absence of run-time errors (Alex_Odeychuk)
доказать функциональную корректность программного обеспечения	demonstrate functional correctness (Washington Post Alex_Odeychuk)
не доказан формально	not formally proven (ssn)
Одна из слабостей графического представления, однако, состоит в том, что доказать такое равенство графически очень трудно	it is one of the weaknesses of pictures that proofs of such an equality are difficult to conduct pictorially (см. Communicating Sequential Processes by C.A.R. Hoare 1985 ssn)