[技术| 编程·课件·Linux] 形式化方法开发环境coq手册

陶文倩 · 发布于 2012-09-13 18:58 · 1085 次阅读
96
顶 收藏 回复
转载文章时务必注明原作者及原始链接，并注明「发表于 软院网 RuanYuan.Net 」，并不得对作品进行修改。
共收到 6 条回复
390
callmesb · #2 · 2012-9-13 21:10:16  回复 支持 反对
看用户手册就好。。
163
sissi · #3 · 2012-9-14 10:54:55  回复 支持 反对
第一次作业的文档看了两个晚上才看完来自: iPhone客户端
143
mrmign · #4 · 2012-9-14 14:34:50  回复 支持 反对
形式化方法开课了吗？

点评

陶文倩
是啊。。。  详情 回复 发表于 2012-9-14 14:54
96
陶文倩 · #5 · 2012-9-14 14:54:34  回复 支持 反对
mrmign 发表于 2012-9-14 14:34
形式化方法开课了吗？

是啊。。。
1038
n168 · #6 · 2012-9-16 01:12:25  回复 支持 反对
顶好东西
181
张杜玮 · #7 · 2012-9-26 09:17:13  回复 支持 反对
顶好东西
回帖
B Color Image Link Quote Code Smilies
Command + Enter
本版积分规则
楼主相关话题
收藏
共收到 6 条回复
参与回复
快速回复 返回顶部 返回列表