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