| 查看: 1318 | 回复: 8 | ||||
| 当前主题已经存档。 | ||||
| 当前只显示满足指定条件的回帖，点击这里查看本话题的所有回帖 | ||||
[交流]
【讨论】形式化方法
|
||||
|
形式化方法是理论计算机研究的一个课题,但它的难让许多人望而却步. 本人就想搭建一个平台,让大家来认识/讨论/学习它 [ Last edited by bslt on 2009-11-10 at 08:09 ] |
回复此楼» 收录本帖的淘帖专辑推荐
 并发软件测试 |
» 猜你喜欢
售SCI文章，我:8O.5.5.1O.54,科目全,可十急
已经有3人回复
-
售SCI一区文章，我:8.O.55.1.O.54,科目齐全,可伽急
已经有3人回复
-
我就是申请一个面上项目而已，这评审意见是按照杰青的条件评的吧？
已经有3人回复
-
有多少人是今天查系统知道结果的？
已经有18人回复
-
国自然评审意见
已经有15人回复
-
为什么资助数各大高校都创新高，自己申请怎么就这么难
已经有13人回复
-
国自然面上复盘~欢迎讨论
已经有14人回复
-
系统查不到
已经有11人回复
-
有没有仍没收到信息的
已经有3人回复
-
导师吐槽：我怎么摊上了这么个极品研究生！
已经有8人回复
8楼2009-11-07 09:29:01
2楼2009-09-28 08:50:58
4楼2009-10-11 23:02:56
5楼2009-10-11 23:03:28
投票:
10