Anmelden
|
German
|
Nutzungsvereinbarung
Wörterbücher
Forum
Kontakte
Englisch
⇄
Russisch
G
o
o
g
l
e
|
Forvo
|
+
the source location of the transition will be the composite location obtained from the source locations of the individual transitions
Betonungen
Progr.
Исходной позицией этого перехода будет составная позиция, полученная из исходных позиций отдельных переходов
(см.
Model Checking / Edmund M. Clarke
,
Jr.
,
Orna Grumberg
,
and Doron A. Peled
1999
)
Hinzufügen
|
Fehler melden
|
Kurzlink auf diese Seite
|
Hinweise