Se connecter | French | Conditions d'utilisation
DictionnaireLe forumContacts

   Russe ⇄ Anglais
Google | Forvo | +
phrases
алгоритмы верификации моделей для формул CTL и для формул LTLcontraintes
progr. algorithms for CTL model checking, LTL model checking (ssn)
алгоритмы верификации моделей для формул CTL и для формул: 2 phrases, 1 sujets
Programmation2

Ajouter | Signaler une erreur | Obtenir une URL courte | Conseils pour la sélection de la langue