the formal methods中文,the formal methods的意思,the formal methods翻译及用法
2025-09-09 13:26浏览次数 8
the formal methods
公式法
the formal methods 例句
英汉例句
The fundamental basis of our observation is that: the formal methods designed for optimizing compilers assume that the compiler and the programmer are Allies.
我们观察问题的基本角度是:为最优化编译器设计的形式方法它假定编译器和程序设计者是盟友。
And then the formal methods are adopted in the manufacturing systems, which translate the simulation model into a format suitable for model checking.