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

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

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