| 查看: 1165 | 回复: 8 | ||||
| 当前主题已经存档。 | ||||
| 当前只显示满足指定条件的回帖，点击这里查看本话题的所有回帖 | ||||
[交流]
【讨论】形式化方法
|
||||
|
形式化方法是理论计算机研究的一个课题,但它的难让许多人望而却步. 本人就想搭建一个平台,让大家来认识/讨论/学习它 [ Last edited by bslt on 2009-11-10 at 08:09 ] |
回复此楼» 收录本帖的淘帖专辑推荐
 并发软件测试 |
» 猜你喜欢
国自然面上和省基金B类撒花
已经有17人回复
-
有没有学校收留
已经有3人回复
-
312求调剂
已经有3人回复
-
华师大读博
已经有5人回复
-
又一批高校组建人工智能学院 师资行吗 不是骗人吗
已经有5人回复
-
急需审稿人！！！
已经有3人回复
-
申博/考博
已经有8人回复
-
295分求调剂
已经有6人回复
-
085600材料与化工调剂
已经有6人回复
-
有没有接收比较快的sci期刊呀，最好在一个月之内的，研三孩子求毕业
已经有7人回复
10楼2011-09-01 10:06:14
2楼2009-09-28 08:50:58
4楼2009-10-11 23:02:56
5楼2009-10-11 23:03:28
5