Formal Derivation Method of Programs

英 美
  • 程序的形式推导方法
  • derivation n.派生；推导；来历衍生物；导数.
  • formal adj.正式的；正规的；形式的；公开的；拘谨的；有条理的
  • method n.方法；条理n.类函数；类成员函数（计算机）
  • of prep.关于；...的（表所属）；出身于；由于
  • programs n.程序；节目；课程（名词program的复数形式）

相关词汇

formal formal claim
展开全文

大家正在查

phenol-containing是什么意思 Phenology-seasons是什么意思 urea-stibamine是什么意思 ureaformaldehyde是什么意思 particle-capture是什么意思 formate-doped是什么意思 format-pattern是什么意思 Rowlingson是什么意思 row-boat是什么意思 Format-compliant是什么意思