应《网络安全法》要求，自2017年10月1日起，未进行实名认证将不得使用互联网跟帖服务。为保障您的帐号能够正常使用，请尽快对帐号进行手机号验证，感谢您的理解与支持！

24小时热门版块排行榜    

Znn3bq.jpeg
小木虫论坛-学术科研互动平台 » 专业学科区 » 信息科学 » 软件工具 » 【讨论】形式化方法
汕头大学海洋科学接受调剂
51/1返回列表
查看: 1143  |  回复: 8
只看楼主 @他人 存档 新回复提醒 (忽略) 收藏    在APP中查看
当前主题已经存档。
当前只显示满足指定条件的回帖，点击这里查看本话题的所有回帖

whg.whu

铁虫 (初入文坛)

[交流] 【讨论】形式化方法

形式化方法是理论计算机研究的一个课题,但它的难让许多人望而却步.
本人就想搭建一个平台,让大家来认识/讨论/学习它

[ Last edited by bslt on 2009-11-10 at 08:09 ]
回复此楼

» 收录本帖的淘帖专辑推荐

并发软件测试

» 猜你喜欢
1楼 2009-09-28 08:50:19
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

whg.whu

铁虫 (初入文坛)
到时候看看有什么资料大家共享一下
赞一下 回复此楼
5楼2009-10-11 23:03:28
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
查看全部 9 个回答

whg.whu

铁虫 (初入文坛)
先从CCS/PI 演算开始吧
赞一下 回复此楼
2楼2009-09-28 08:50:58
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

whg.whu

铁虫 (初入文坛)
谢谢，我现在准备去上海参加BASIC2009研讨班
国内外搞这个方面的大牛来了不少啊！
赞一下 回复此楼
4楼2009-10-11 23:02:56
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

瓢虫

铜虫 (小有名气)
★
小木虫(金币+0.5):给个红包，谢谢回帖交流
期待着楼主的资料！不要辜负我们的期望啊！
赞一下(1人) 回复此楼
6楼2009-11-04 13:16:08
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
查看全部 9 个回答
普通表情 龙 兔 虎 猫 高级回复 (可上传附件)
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[教师之家] 转长聘了 +4 简单化xn 2026-04-13 4/200 2026-04-14 08:27 by syl200707
[考研] 化工学硕294分，求导师收留 +27 yzyzx 2026-04-12 30/1500 2026-04-14 05:42 by 西北望—风沙
[考研] 本科西工大 324求调剂 +5 wysyjs25 2026-04-10 5/250 2026-04-13 23:08 by pies112
[考研] 化学070300 求调剂 +21 哈哈哈^_^ 2026-04-12 21/1050 2026-04-13 21:36 by nxybio2007
[考研] 290求调剂 +16 luoziheng 2026-04-10 16/800 2026-04-13 20:34 by biomen
[考研] 调剂 +27 不逢春 2026-04-07 28/1400 2026-04-13 20:19 by xxy88888
[考研] 一志愿211 0703化学 346分求调剂 +26 土豆er? 2026-04-09 29/1450 2026-04-13 15:15 by 独醉梦孤城
[考研] 一志愿鲁东大学071000生物学学硕初试分数276求调剂 +8 慕绝cc 2026-04-09 8/400 2026-04-13 14:08 by 张zhihao
[考研] 一志愿西北工业大学289 085602 +33 yang婷 2026-04-10 34/1700 2026-04-12 08:11 by Art1977
[考研] 一志愿厦大0856，306求调剂 +15 Bblinging 2026-04-11 15/750 2026-04-11 22:53 by 314126402
[考研] 调剂 +10 只叙离别辞 2026-04-09 12/600 2026-04-11 20:57 by 逆水乘风
[考研] 085410-273求调剂 +6 X1999 2026-04-10 6/300 2026-04-11 10:32 by Delta2012
[考研] 农业管理302分求调剂 +3 xuening1 2026-04-10 3/150 2026-04-11 10:18 by zhq0425
[考研] 263能源动力专硕求调剂 +3 加大号饭盒袋 2026-04-10 3/150 2026-04-10 22:23 by 286640313
[考研] 368求调剂 +3 17385968172 2026-04-10 3/150 2026-04-10 20:12 by 电子奥德彪
[考研] 265求调剂 +12 风说她早忘了 2026-04-10 13/650 2026-04-10 18:56 by chemisry
[考研] 求调剂 材料与工程 324分 专硕 +19 翩翩一书生 2026-04-10 21/1050 2026-04-10 11:41 by wp06
[考研] 求机械专硕297第二批调剂 +5 拾柒12。 2026-04-08 5/250 2026-04-09 16:43 by 允当适度
[考研] 电子信息346 +4 zuoshaodian 2026-04-08 4/200 2026-04-08 11:54 by zzucheup
[考研] 求调剂 +11 wwwwabcde 2026-04-07 11/550 2026-04-07 23:16 by JourneyLucky
信息提示
关闭
请填处理意见
关闭