Вход
|
Russian
|
Соглашение пользователя
Словари
Форум
Купить
Скачать
Контакты
Английский
⇄
Русский
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
ударения
прогр.
Исходной позицией этого перехода будет составная позиция, полученная из исходных позиций отдельных переходов
(см.
Model Checking / Edmund M. Clarke
,
Jr.
,
Orna Grumberg
,
and Doron A. Peled
1999
)
Добавить
|
Сообщить об ошибке
|
Короткая ссылка
|
Способы выбора языков