Вход | Russian | Соглашение пользователя
СловариФорумКупитьСкачатьКонтакты

   Английский ⇄ Русский
Google | Forvo | +
к фразам
algorithms for CTL model checking, LTL model checkingударения
прогр. алгоритмы верификации моделей для формул CTL и для формул LTL (ssn)
algorithms for CTL model checking, LTL model checking: 2 фразы в 1 тематике
Программирование2

Добавить | Сообщить об ошибке | Короткая ссылка | Способы выбора языков