 |
| |||
| формальные методы (строгие методы спецификации требований, проекта или реализации, базирующиеся на законах математики или логики ssn) | |||
| формальные методы инженерии программного обеспечения (Alex_Odeychuk) | |||
| |||
| формальный метод | |||
| 英语 词库 | |||
| |||
| FM (Alex Lilo) | |||
|
formal methods : 17 短语, 7 学科 |
| 人工智能 | 1 |
| 商业活动 | 2 |
| 数学 | 1 |
| 畜牧业 | 1 |
| 编程 | 6 |
| 软件 | 4 |
| 马卡罗夫 | 2 |