DictionaryForumContacts

   Russian
Terms containing исходный и целевой | all forms | in specified order only
SubjectRussianEnglish
progr.два альтернативных "явных" и "неявных" преобразования исходного типа данных к целевому типу данныхtwo alternatives "implicit" and "explicit" conversion of the source data type to a target data type (ssn)
progr.исходные и целевые позицииsource and target locations (ssn)
progr.исходные и целевые позиции рассматриваемого переходаsource and target locations of the original transition (ssn)
progr.Исходные и целевые позиции таких переходов будут получены из исходных и целевых позиций рассматриваемого перехода и позиции второго автоматаthe source and target locations of these transitions will be obtained from the source and target locations of the original transition and the location from the other automaton (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999)
progr.исходный и целевойsource and target (ssn)