联系帮助
出版时间：
至
大约有90项符合查询结果项。（搜索耗时：0.0087秒）
为您推荐： 明确 刑法 刑法总论 苏俄刑法典 德国刑法中的客观归责研究
本书主要介绍程序正确性证明的主要理论和方法。主要包括程序正确性的定义，程序正确性证明的发展历程，程序部分正确性证明的不变式断言法、子目标断言法和公理化方法，程序终止性证明的良序集方法和不动点方法，以...
全部
政治法律(1)
2010年(1)
