帖子
小木虫论坛-学术科研互动平台 » 淘帖 » wolvre 的淘帖 » 并发软件测试

淘帖说明

通过实用方便的“淘帖”功能，您可以按照自己的意愿，把论坛里面的精彩好帖子分门别类的进行汇总和收藏，更方便自己以后的浏览；
您也可以通过浏览其他人创建的淘帖专辑，发现论坛更多有价值的内容；
您的淘帖专辑，被他人订阅一次，将得到1个金币奖励，最高可以获得500个金币哦

专辑说明

本专辑已经获得 1 个金币奖励，感谢创建者 wolvre 的辛勤整理工作
订阅此专辑
已有 1 人订阅
创建人:wolvre (给我发消息  |  送TA小红花)
创建于: 2011-09-01 ，已经收录主题 3 个，有 1 人订阅
并发软件测试,模型检测,形式化方法
点评此专辑 推荐主题到此专辑 订阅此专辑

最新订阅用户 [查看全部]

dbzhangxu ...
来自 标题 作者 回/看 最后发表
信息科学 投票:  众多硬件描述语言，您使用哪一种?兼论硬件描述语言的现状与发展 (金币+1) sdlj8051 2006-11-20 6/300 2008-12-04 21:12:25 by sdlj8051
信息科学 【讨论】形式化方法 (金币+2) whg.whu 2009-09-28 8/400 2009-11-10 08:08:58 by bslt

请评价此专辑，感谢整理者的辛苦工作:)

评价专辑： 只留言 很有帮助(创建者金币+1)
推荐主题到此专辑