1) formal derivation method of programs
程序的形式推导方法
2) the deduction of linear equation
直线方程方程式的推导
3) procedure developing method
程序推导法
4) formal program-ming
形式化程序设计方法
5) program derivation
程序推导
6) circular parts
推导球面直角形公式的大字形法则
补充资料：面向对象的程序设计(见程序设计方法)
面向对象的程序设计(见程序设计方法)
object-oriented programming
m一onx一ong dujx一ong de ehengx日$he]}面向对象的程序设计(objeet一oriented pro-gramming)见程序设计。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条