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