callmesb 发表于 2012-10-19 00:16:20

形式化方法福利贴

{:6_190:}最近课程实验略紧啊。各科期中考试也逐步来临了，据说每次都会有人交白卷的形式化方法也要开始考试了。

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

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

callmesb 发表于 2012-10-19 00:19:50

{:6_205:}自己顶一顶

明月生寒 发表于 2012-10-19 00:20:36

顶起 福利

hslx111 发表于 2012-10-19 10:27:47

没选这课的路过。。。话说算法竟然还有期中考试，这。。。

Murphy 发表于 2012-10-19 11:54:00

{:5_139:}科大考试也有交白卷的么；；；；；

callmesb 发表于 2012-10-19 12:31:33

Murphy 发表于 2012-10-19 11:54 static/image/common/back.gif
科大考试也有交白卷的么；；；；；

不会写还能咋办。。

albert 发表于 2012-10-19 17:08:46

顶一个             。。。。。

Murphy 发表于 2012-10-19 17:35:20

callmesb 发表于 2012-10-19 12:31 static/image/common/back.gif
不会写还能咋办。。

{:7_280:} 计算机难道那么难搞么，。

紫凝雪儿 发表于 2012-10-19 19:27:11

路过顶顶。。。

feiyu 发表于 2012-10-19 21:48:50

@顶个~~灰常灰常抽象啲~

独墅一枝花 发表于 2012-10-19 23:30:52

好贴啊，顶

feiyang756 发表于 2012-11-1 21:58:19

顶哦，谢楼主
页: [1]
查看完整版本: 形式化方法福利贴