Program Designing & Algorithmic Language 程序设计及算法语言 ; 程序设计及算
algorithmic program 算法程序
Algorithmic program transformation 算法程序变换
algorithmic program of MATLAB MATLAB算法程序
developing method of algorithmic program 算法程序开发方法
algorithmic language program conversion 算法语言程序转换
algorithmic language program [计] 算法语言程序
Program Designing & Algorithmic 程序设计及算法语言
program designing &algorithmic language 程序设计及算法语言
The loop invariant embodies essential characteristics of loop program and has an important role to play in design, proof and derivation of algorithmic program.
循环不变式体现了循环程序的本质特征，在算法程序的开发、证明和推导中具有十分重要的作用。
Data refinement is hard to deal with in a refinement tool compared with ordinary algorithmic refinement, since data refinement usually has to be done on a large program component at once.
由于数据精化需要针对更大的程序块，所以，它比一般的算法精化更加复杂。
应用推荐