Sign in | English | Terms of Use
DictionaryForumContacts

   Russian ⇄ English
Google | Forvo | +
to phrases
алгоритм верификации моделей для LTLstresses
progr. LTL model checking algorithm (ssn)
алгоритм верификации моделей для CTL
progr. CTL model checking algorithm (ssn)
алгоритм верификации моделей для: 7 phrases in 1 subject
Programming7

Add | Report an error | Get short URL | Language Selection Tips