 |
formal method
| A
| software engineering method
| that
| uses
| a
| formal specification language
| that is
| a language
| with
| mathematically
| defined syntax
| and
| semantics
- 只找到单语| formal method | |
| 数学 | формальный метод |
| a | |
| 一般 | ар; общая кислотность |
| 中国人 | а |
| 核能和聚变能 | сокращение от annum, год |
| 数学 | задавшись; абсолютный; некоторый; первый |
| 空气流体动力学 | угол атаки |
| software engineering method | |
| 编程 | метод программной инженерии |
| that | |
| 一般 | который |
| uses | |
| 纺织工业 | назначение |
| a | |
| 一般 | ар |
| formal specification language | |
| 技术 | язык формальных спецификаций |
| that is | |
| 一般 | так сказать |
| A language | |
| 语言科学 | родной язык |
| with | |
| 一般 | причём |
| mathematically | |
| 数学 | в математическом смысле |
| defined syntax | |
| 编程 | определяемый синтаксис |
| and | |
| 一般 | и |
| semantics | |
| 一般 | бессодержательное красноречие |
| |||
| формальный метод | |||
| 英语 词库 | |||
| |||
| FM (Alex Lilo) | |||
| formal method: 4 短语, 3 学科 |
| 畜牧业 | 1 |
| 编程 | 1 |
| 马卡罗夫 | 2 |