| |||
| формальные методы инженерии программного обеспечения (Alex_Odeychuk) | |||
| формальные методы (строгие методы спецификации требований, проекта или реализации, базирующиеся на законах математики или логики ssn) | |||
| |||
| формальный метод | |||
| Anglais glossaire | |||
| |||
| FM (Alex Lilo) | |||
|
formal methods : 16 phrases, 6 sujets |
| Élevage | 1 |
| Entreprise | 2 |
| Logiciel | 4 |
| Makarov | 2 |
| Mathématiques | 1 |
| Programmation | 6 |