Sign in | English | Terms of Use
DictionaryForumContacts

   Russian ⇄
Terms for subject Programming containing текущие показания | all forms | exact matches only | in specified order only
RussianEnglish
Переход может быть совершен, только если текущие показания часов удовлетворяют временному ограничениюthe transition can be taken only if the current values of the clocks satisfy the clock constraint (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999)
текущие показанияcurrent values (часов ssn)
текущие показания часовcurrent values of the clocks (ssn)

Get short URL