Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
Russian
⇄
English
G
o
o
g
l
e
|
Forvo
|
+
в качестве единицы измерения времени выбирается продолжительность времени между двумя последовательными тиками часов
stresses
progr.
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
)
Add
|
Report an error
|
Get short URL
|
Language Selection Tips