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

24小时热门版块排行榜    

小木虫论坛-学术科研互动平台 » 专业学科区 » 信息科学 » 软件工具 » 【讨论】形式化方法
51/1返回列表
查看: 1102  |  回复: 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 个回答
普通表情 龙 兔 虎 猫 高级回复 (可上传附件)
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[考研] 284求调剂 +8 天下熯 2026-02-28 8/400 2026-03-02 00:15 by 暮雨星晴
[基金申请] 本子写完了，给DS兄弟看了，得了92分 +3 Doma 2026-03-01 7/350 2026-03-02 00:00 by jnzsy
[考研] 一志愿郑大材料学硕298分，求调剂 +5 wsl111 2026-03-01 5/250 2026-03-01 23:45 by 暮雨星晴
[考研] 0856材料与化工，270求调剂 +6 YXCT 2026-03-01 6/300 2026-03-01 23:21 by 向上的胖东
[考研] 江苏省农科院招调剂1名 +3 Qwertyuop 2026-03-01 3/150 2026-03-01 23:18 by aaadim
[基金申请] 成果系统访问量大，请一小时后再尝试。---NSFC啥时候好哦，已经两天这样了 +4 NSFC2026我来了 2026-02-28 4/200 2026-03-01 22:37 by 铁门栓
[考研] 0856调剂 +5 刘梦微 2026-02-28 5/250 2026-03-01 22:30 by wang_dand
[考研] 272求调剂 +6 田智友 2026-02-28 6/300 2026-03-01 21:40 by 公瑾逍遥
[考研] 0856求调剂285 +10 吕仔龙 2026-02-28 10/500 2026-03-01 21:37 by 公瑾逍遥
[考研] 一志愿中南大学理学化学 +4 15779376950 2026-03-01 5/250 2026-03-01 19:00 by Fff-1
[考研] 291分工科求调剂 +9 science饿饿 2026-03-01 10/500 2026-03-01 18:55 by 18137688336
[考研] 295求调剂 +7 19171856320 2026-02-28 7/350 2026-03-01 18:54 by 18137688336
[考研] 化工专硕342，一志愿大连理工大学，求调剂 +3 kyf化工 2026-02-28 4/200 2026-03-01 16:49 by yywzz
[基金申请] 刚录用，没有期刊号，但是在线可看的论文可以放为代表作吗 10+3 arang1 2026-03-01 3/150 2026-03-01 16:43 by babero
[考研] 313求调剂 +3 水流年lc 2026-02-28 3/150 2026-03-01 16:01 by 新能源达人
[考研] 311求调剂 +6 亭亭亭01 2026-03-01 6/300 2026-03-01 15:41 by 324616
[考研] 295复试调剂 +3 简木ChuFront 2026-03-01 3/150 2026-03-01 14:27 by zzxw520th
[考研] 298求调剂 +9 人间唯你是清欢 2026-02-28 12/600 2026-03-01 14:23 by Ducount.Y
[考研] 302材料工程求调剂 +4 Doleres 2026-03-01 5/250 2026-03-01 11:52 by liqiongjy
[考研] 311求调剂 +9 南迦720 2026-02-28 10/500 2026-03-01 10:55 by sunny81
信息提示
关闭
请填处理意见
关闭