Frama-C 是一个用来分析 C 代码的工具，它收集了很多静态统计技术，如代码切片和依赖分析等。
本文地址：https://codercto.com/soft/d/20598.html
孙洪坤 / 中国检察 / 2008-3 / 28.00元
《程序与法治》是系统和全面地研究程序与法治国家建设思想的学术专著，《程序与法治》对程序与法治的若干重大理论与现实问题进行了深入的探讨，如：从法社会学的视角研究程序正义在中国的可适应性问题；程序正义的中国语境；正当程序的宪政价值与构造；正当程序的文化底蕴；中国刑事程序正当化设计的标准、设计的基调、设计的视角；等等。尽管其中某些问题的研究尚待进一步深入，但这些问题的提出有利于开阔我们研究程序法理论的视......一起来看看 《程序与法治》 这本书的介绍吧!
MD5 加密工具
SHA 加密工具
