您好,欢迎光临本网站![请登录][注册会员]  

搜索资源列表

  1. 精细度和正确性的度量

  2. 本文介绍了一种概率程序精化与正确性的校正方法,即直接最弱的初始相位词转换器。这种尺寸方法能够表明一个概率程序关于一对与与后置条件在多大尺寸是正确的;一个概率程序在多大尺度被另外一个被另外一个概率程序精化。
  3. 所属分类:其它

    • 发布日期:2021-02-22
    • 文件大小:277504
    • 提供者:weixin_38660813