正确性

• 

  学生最佳家庭读物 正确性知识

  查看PDF目录购买本书

  E·W詹森著；徐道政译1988 年出版186 页

• 

  政治正确性之争 2016年美国总统大选研究报告

  查看PDF目录购买本书

  房宁等著2017 年出版218 页ISBN：9787520313070

  2016年大选是美国进入后金融危机以来的首次“开放式”大选，此次选举将选举出新任总统、副总统、参众两院的国会代表，以及12个州的州长。大选在政治极化、族裔矛盾凸显、社会矛盾激化、美国国际影响力下降的背...

• 

  正确性知识

  查看PDF目录购买本书

  詹森著；徐道政译1988 年出版186 页

• 

  程序正确性证明方法

  查看PDF目录购买本书

  武斌著2018 年出版130 页ISBN：9787564231699

  本书主要介绍程序正确性证明的主要理论和方法。主要包括程序正确性的定义，程序正确性证明的发展历程，程序部分正确性证明的不变式断言法、子目标断言法和公理化方法，程序终止性证明的良序集方法和不动点方法，以...

• 

  基于环境的软件近似正确性

  查看PDF目录购买本书

  马艳芳著2017 年出版132 页ISBN：9787312041020

  本书基于进程代数理论中的通信系统演算（CCS）模型对软件的近似正确性进行了形式化描述和度量。从接受和拒绝环境角度，以参数化互模拟和三分之二互模拟为基础，建立了参数化互模拟和三分之二互模拟的无限演化理论...

• 

  程序正确性的证明

  查看PDF目录购买本书

  （美）R.B.Anderson著1987 年出版162 页ISBN：15245·83