Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
Russian
⇄
English
Terms
containing
исходный и целевой
|
all forms
|
in specified order only
Subject
Russian
English
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
)
Get short URL