 |
| |||
| формальные методы инженерии программного обеспечения (Alex_Odeychuk) | |||
| формальные методы (строгие методы спецификации требований, проекта или реализации, базирующиеся на законах математики или логики ssn) | |||
| |||
| формальный метод | |||
| Англійський тезаурус | |||
| |||
| FM (Alex Lilo) | |||
|
formal methods : 17 фраз в 7 тематиках |
| Бізнес | 2 |
| Макаров | 2 |
| Математика | 1 |
| Програмне забезпечення | 4 |
| Програмування | 6 |
| Тваринництво | 1 |
| Штучний інтелект | 1 |