Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
Terms containing
Source and target
|
all forms
|
exact matches only
|
in specified order only
Subject
English
Russian
ling.
pair of matching terms in the
source and target
language
пара термин-перевод
(IBM
Alex_Odeychuk
)
IT
Source and target
drives are the same
Указан один и тот же дисковод для исходного диска и для диска, на который переносятся файлы
progr.
source and target
language
входной и выходной язык
(
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
)
Get short URL