Вхід | Ukrainian | Угода користувача
СловникиФорумКонтакти

   Англійська ⇄ +
Google | Forvo | +

symbolic model verifier

наголоси
прогр. символьный верификатор моделей (сокр. SMV ssn)
 Англійський тезаурус
Symbolic Model Verifier
абрев., прогр. SMV (ssn)

Додати | Повідомити про помилку | Коротке посилання