高级验证方法学

本书内容包括9章：绪论；验证原理；高级验证方法学介绍；面向对象编程的特点；事务级建模的特点；高级验证方法学的机理；验证平台的组成；完整的验证平台；可替换的验证平台；验证平台中的模块等。本书是针对IC开发设......

岳麓法学评论 第10卷

《岳麓法学评论》是湖南大学出版的学术专刊，已经为第10卷，本卷继续保留了法治中国、民主法治、法学专论、域外译文、法律书评、学术随笔、岳麓讲坛等栏目，在稿件来源与风格方面，更加注意兼容并蓄，不意外在的表现...

四川法学文集 第3辑

本书记录了2010年来四川法学取得的研究成果，对四川法学研究的现状进行了总结。本书共收录论文43篇，涉及法理学、刑事法学、刑事诉讼法学、民法学、行政法学、经济法学等领域，展现了近两年四川法学取得的丰硕成...

民事诉讼法学卷

本书是作者根据司法考试教材、教学大纲，结合本人多年从事司法考试辅导经验编写而成的。采用例解的方式，对民事诉讼法知识点进行了概述，使考生很容易掌握和理解。在本书中作者将1999——2004年司法考试诉讼法学...

西方法学名著精要

本书精选西方最具代表性法学名著11种，分别是：《理想国》、《政治学》、《国家篇·法律篇》、《阿奎那政治著作选》、《 利维坦》、《神学政治论》、《政府论》、《论法的精神》、《社会契约论》、《人性论》...

科技法学教学参考资料选编 政策法规类 下

行政救济与行政法学：修订版·第3册

经济法学

本书从经济法概述、经济法律关系、宏观调控法概述、产业法、财政法、税法、金融法、价格法、国有资产管理法、经济监督法、市场秩序法概述、竞争法、产品质量法、消费者权益保护法、计量与标准化法、广告法...

人权法学

人权法是宪法学研究的重要领域。人权概念的发展折射出人类对自身的认识以及对个体与国家关系的认知发展，在外延上，人权与公民权利、基本权利、宪法权利、人民权利既有交叉，又有区别。人权规范的存在载体主要有...

民事法律与基础法学 1

本书作者在大陆多年学习工作，本书是他对当代重要法律议题的基本看法。对两岸法律异同进行了深刻剖析，期待对两岸文化传播有所助益。<br/>本书是作者对当代重要法律议题的基本看法。对两岸法律异同进行了深刻...