DictionnaireLe forumContacts

   Anglais Russe +
Google | Forvo | +

model-based development and verification tool

contraintes
progr. инструментальное средство для управляемой моделями разработки и верификации программного обеспечения (компании AdaCore Alex_Odeychuk)