当前位置:首页 > 名称

大约有7项符合查询结果项。(搜索耗时:0.0066秒)

为您推荐: 明确 刑法 刑法总论 苏俄刑法典 德国刑法中的客观归责研究

  • 程序正确性的证明

    (美)R.B.Anderson著1987 年出版162 页ISBN:15245·83

  • 程序正确性证明方法

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

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

  • Borland C++ Builder编程指南 C++ Builder问题的明确解答

    (美)(J.米亚诺)John Miano等著;郝杰等译1998 年出版578 页ISBN:7505348159

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

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

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

  • 确性:建筑与城市规划状态报告

    (法)勒·柯布西耶著2009 年出版264 页ISBN:9787112102808

    本书包括10次勒·柯布西耶在布宜诺斯艾利斯的有关建筑和城市规划的讲座,以及一篇有关美洲的序言。序言虽说是有关美洲的,但是却和美洲的建筑没有任何关系。它只是表达了目前美洲建筑师的一种思想状态。当一个...

  • 虚拟空间中的刑法理论

    于志刚著2003 年出版462 页ISBN:7801076915

    网络空间的虚拟性对于传统的刑法规则和刑法理论形成了一定的冲击,刑法理论界对隐藏在网络中的各类犯罪行为的关注程度越来越高,就传统刑法如何适用于虚拟空间,如何面对技术因素对原有规则和理论的冲击等焦点问...

  • 风险社会下我国食品安全监管及刑法规制

    张亚军著2012 年出版239 页ISBN:9787565308420

    食品安全问题关乎消费者的切身利益,决定了消费者日趋自觉地将食品安全问题作为指导消费方式的原则以及选取、采购食品的首要取舍标准。食品安全性作为食品质量的最要组成部分,对食品的生产者、经营者、社会管...

学科分类
出版时间
返回顶部