[技术| 编程·课件·Linux] 形式化方法福利贴

callmesb · 发布于 2012-10-19 00:16 · 2207 次阅读
390
最近课程实验略紧啊。各科期中考试也逐步来临了，据说每次都会有人交白卷的形式化方法也要开始考试了。

形式化有啥要讨论的么亲们~

送上福利~仅供参考
https://bitbucket.org/lunaticas/ ... 9876f336?at=default

评分

参与人数 4学分 +35 收起 理由
Castelo + 15 原创帖子，对同学们很有帮助！
roenszm + 9 上节课没去的表示先顶着=。=
紫凝雪儿 + 6 感谢您为软院筒子们提供有用信息！
service + 5 原创帖子，对同学们很有帮助！

查看全部评分

顶 收藏 回复
转载文章时务必注明原作者及原始链接，并注明「发表于 软院网 RuanYuan.Net 」，并不得对作品进行修改。
共收到 11 条回复
390
callmesb · #2 · 2012-10-19 00:19:50  回复 支持 反对
自己顶一顶
52
明月生寒 · #3 · 2012-10-19 00:20:36  回复 支持 反对
顶起 福利
48
hslx111 · #4 · 2012-10-19 10:27:47  回复 支持 反对
没选这课的路过。。。话说算法竟然还有期中考试，这。。。
1594
Murphy · #5 · 2012-10-19 11:54:00  回复 支持 反对
科大考试也有交白卷的么；；；；；

点评

callmesb
不会写还能咋办。。  详情 回复 发表于 2012-10-19 12:31
390
callmesb · #6 · 2012-10-19 12:31:33  回复 支持 反对
Murphy 发表于 2012-10-19 11:54
科大考试也有交白卷的么；；；；；

不会写还能咋办。。

点评

Murphy
计算机难道那么难搞么，。  详情 回复 发表于 2012-10-19 17:35
1246
albert · #7 · 2012-10-19 17:08:46  回复 支持 反对
顶一个             。。。。。
1594
Murphy · #8 · 2012-10-19 17:35:20  回复 支持 反对
callmesb 发表于 2012-10-19 12:31
不会写还能咋办。。

计算机难道那么难搞么，。
125
紫凝雪儿 · #9 · 2012-10-19 19:27:11  回复 支持 反对
路过顶顶。。。
803
feiyu · #10 · 2012-10-19 21:48:50  回复 支持 反对
@  顶个~~  灰常灰常抽象啲~
70
独墅一枝花 · #11 · 2012-10-19 23:30:52  回复 支持 反对
好贴啊，顶
926
feiyang756 · #12 · 2012-11-1 21:58:19  回复 支持 反对
顶哦，谢楼主
回帖
B Color Image Link Quote Code Smilies
Command + Enter
本版积分规则
楼主相关话题
收藏
共收到 11 条回复
参与回复
快速回复 返回顶部 返回列表