Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
Terms containing
not for some time
|
all forms
|
in specified order only
Subject
English
Russian
gen.
not for some time
не скоро
Makarov.
some students were rapped on the knuckles for not submitting their papers on time
некоторым учащимся попало за то, что они вовремя не сдали письменные работы
gen.
the play has not been toured for some time
пьеса некоторое время не включалась в программу гастрольных поездок
gen.
they were not themselves for some time
некоторое время они не могли прийти в себя
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.
we were not ourselves for some time
некоторое время мы не могли прийти в себя
Get short URL