Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
Russian
⇄
Abkhaz
Afrikaans
Arabic
Bashkir
Chinese
Czech
English
Esperanto
Estonian
Finnish
French
Georgian
German
Hungarian
Italian
Kalmyk
Latvian
Norwegian Bokmål
Polish
Portuguese
Spanish
Tajik
Turkish
Ukrainian
Vietnamese
Terms
for subject
Programming
containing
доказанный
|
all forms
Russian
English
быть
доказанно
свободным от ошибок времени выполнения
be proven to be free of run-time errors
(
Alex_Odeychuk
)
доказанное
объективными результатами исследования подтверждение того, что
confirmation by examination and through provision of objective evidence that
(
ssn
)
доказано
практикой
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
)
Get short URL