| 查看: 1137 | 回复: 8 | ||||
| 当前主题已经存档。 | ||||
| 当前只显示满足指定条件的回帖，点击这里查看本话题的所有回帖 | ||||
[交流]
【讨论】形式化方法
|
||||
|
形式化方法是理论计算机研究的一个课题,但它的难让许多人望而却步. 本人就想搭建一个平台,让大家来认识/讨论/学习它 [ Last edited by bslt on 2009-11-10 at 08:09 ] |
回复此楼» 收录本帖的淘帖专辑推荐
 并发软件测试 |
» 猜你喜欢
2026硕士调剂_能动_河南农业大学
已经有3人回复
-
290求调剂
已经有19人回复
-
化工求调剂！
已经有38人回复
-
297工科，求调剂?
已经有12人回复
-
材料工程085601，270求调剂
已经有40人回复
-
一志愿沪9，326求生物学调剂
已经有3人回复
-
材料复试求调剂
已经有22人回复
-
310求调剂
已经有15人回复
-
339求调剂
已经有4人回复
-
一志愿鲁东大学071000生物学学硕初试分数276求调剂
已经有7人回复
4楼2009-10-11 23:02:56
2楼2009-09-28 08:50:58
5楼2009-10-11 23:03:28
6楼2009-11-04 13:16:08
