Keywords Probabilistic computation;Possibilistic computation;Refinement calculus;Predicate transformer;State transformer;Semantic model;

 
  • 概率计算;可能性计算;精细演算;谓词转换器;状态转换器;语义模型;
今日热词
目录 附录 查词历史