机译:统一编程理论中的天使式不确定性
Department of Computer Science, University of York, York, YO10 5DD, England;
semantics; refinement; relations; predicate transformers;
机译:使用天使不确定性进行编程
机译:用多重关系模拟天使和恶魔的不确定性
机译:将统一编程理论应用于实时编程
机译:用天使不确定性进行编程
机译:以两个洛杉矶联合学区收养学校计划为例。
机译:利用研究提高大学准备水平:洛杉矶联合学区和洛杉矶教育研究所之间的研究伙伴关系
机译:统一编程理论中的天使式不确定性
机译:约束规划中的不确定性与无限计算