DictionnaireLe forumContacts

   Anglais Russe +
Google | Forvo | +

verification of finite-state systems

contraintes
progr. верификация систем с конечным числом состояний (ssn)