Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
Russian
⇄
Bashkir
Chinese
Czech
Danish
Dutch
English
Esperanto
Finnish
French
German
Hungarian
Italian
Japanese
Khmer
Latin
Latvian
Norwegian Bokmål
Polish
Portuguese
Russian
Serbian Latin
Spanish
Tajik
Turkish
Ukrainian
Vietnamese
Terms
for subject
Programming
containing
ТИК
|
all forms
|
exact matches only
Russian
English
в качестве единицы измерения времени выбирается продолжительность времени между двумя последовательными
тиками
часов
the duration between successive clock ticks is chosen as the basic unit for measuring time
(см.
Model Checking / Edmund M. Clarke
,
Jr.
,
Orna Grumberg
,
and Doron A. Peled
1999
)
продолжительность времени между двумя последовательными
тиками
часов
duration between successive clock ticks
(
ssn
)
тик
таймера
clock tick
(
ssn
)
тик
часов
clock tick
(
ssn
)
Get short URL