DictionaryForumContacts

   English
Terms containing be assumed to be small | all forms | in specified order only
SubjectEnglishRussian
progr.be assumed to be smallпредполагаться малым (ssn)
progr.the time to request data from a monitor task and wait for the response is assumed to be small compared to the total execution timeВремя запроса данных у монитора и ожидания ответа предполагается малым по сравнению с общим временем выполнения (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999)