продолжительность времени между двумя последовательными тиками часов

Terms containing продолжительность времени между двумя последовательными тиками часов | all forms | in specified order only

Subject	Russian	English
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)
progr.	продолжительность времени между двумя последовательными тиками часов	duration between successive clock ticks (ssn)