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