callmesb 发表于 2012-11-16 15:27:17

形式化福利贴。。。

{:6_190:}形式化作业愈发的难了。。。
送上一贴大家一起讨论啊
https://github.com/dragonwasrobot/software-foundations-exercises

小木公 发表于 2012-11-16 15:27:59

答案看不懂怎么破。。。。

hslx111 发表于 2012-11-16 19:06:20

本来想下学期选的，结果换到这学期了。没选遗憾啊。。。

feiyu 发表于 2012-11-16 22:34:49

@LZ依旧崇拜着保健哥~
页: [1]
查看完整版本: 形式化福利贴。。。