Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
Russian
⇄
Chinese
English
Terms
containing
проверять временем
|
all forms
|
in specified order only
Subject
Russian
English
construct.
Горизонтальность пола во время укладки проверяйте двухметровой рейкой
While laying the flooring check its horizontal position with a 2 m straight edge
gen.
достоинства книги проверяются только временем
time is the only true yardstick of a book's merit
progr.
Обычно разработчик предусматривает некоторое ограничение на время реакции для той или иной операции, а верификатор автоматически проверяет, выполняется оно или нет
Typically, the designer provides a constraint on response time for some operation, and the verifier automatically determines if it is satisfied or not
(см.
Model Checking / Edmund M. Clarke
,
Jr.
,
Orna Grumberg
,
and Doron A. Peled
1999
ssn
)
gen.
подлинная ценность
истинное достоинство
проверяется только временем
time is the only true touchstone of merit
amer.
проверять
наряд
во время исполнения обязанностей
muster into service
Makarov., amer.
проверять
наряд
во время несения службы
muster in
amer.
проверять во время несения службы
muster in
(наряд)
gen.
проверять временем
be tested by time
progr.
проверять на наличие всех возможных ошибок во время выполнения
test for all potential run-time errors
(корпорации AdaCore
Alex_Odeychuk
)
progr.
проверять определения во время компиляции
validate definitions at compile-time
(
Alex_Odeychuk
)
progr.
проверяться во время компиляции
be checked compile-time
(
Alex_Odeychuk
)
progr.
проверяться на корректность во время компиляции
be checked compile-time for correctness
(
Alex_Odeychuk
)
Get short URL