DictionaryForumContacts

   Russian
Terms for subject Programming containing течение времени | all forms | exact matches only | in specified order only
RussianEnglish
течение времени в компьютереtime variation in the computer (ssn)
течение времени в компьютерной системеflow of time on a computer system (ssn)
течение времени в миреtime variation in the real world (ssn)
Течение времени в позиции происходит, пока инвариант этой позиции истиненTime can elapse in the location only as long as the invariant of the location is true (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn)