形状图理论的定理证明及其在指针程序验证中的应用

形状图理论的定理证明及其在指针程序验证中的应用

出版年：2013

作者：宋艳辉

资源类型：图书

细分类型：学位论文

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

解决自动定理证明器在程序验证中两点能力不足的办法

作者：郝爔
出版年：2015

程序验证的理论和方法

作者：许兆伟
出版年：2017

应用Dixon结式研究程序验证

作者：余伟
出版年：2012

VLSI测试程序验证及其支撑环境—理论、方法和实践

作者：梁超
出版年：1999

几何代数在定理证明中的算法设计与程序实现

作者：曹源昊
出版年：2010

仿射括号代数算法及其在定理机器证明中的应用

作者：张宁
出版年：2006