|
以文本方式查看主题 - 计算机科学论坛 (http://bbs.xml.org.cn/index.asp) -- 『 理论计算机科学 』 (http://bbs.xml.org.cn/list.asp?boardid=64) ---- 求助:mu演算，s1s逻辑，buchi自动机，奇偶博弈（parity game）的中文资料 (http://bbs.xml.org.cn/dispbbs.asp?boardid=64&rootid=&id=43391) |
|
-- 作者：shenshenqiqi -- 发布时间：2/23/2007 9:41:00 AM -- 求助:mu演算，s1s逻辑，buchi自动机，奇偶博弈（parity game）的中文资料 谢谢谢谢啊！ 特别是mu演算的，我实在看不通这些英文资料，要疯掉了，各位老大如果知道请提供线索：）可以推荐一些中文书吗？？ 有没有人也学这些的，多多交流啊：）ps我在英国读研究生 |
|
-- 作者：shenhaozr -- 发布时间：3/1/2007 10:42:00 AM -- 形式验证 中文书好象没有看到，Mu算子可看Stirling的介绍文章。
|
|
-- 作者：shenshenqiqi -- 发布时间：3/2/2007 5:52:00 AM -- 终于有高手回复啦～～激动 形式验证是指formal verification吗？原来是这么说的啊。 恩，再坚持不懈地问一句，stirling的文章有中文版没？感觉mu演算好难理解啊 |
|
-- 作者：Templarwzy -- 发布时间：3/17/2007 12:59:00 PM -- 中文资料没什么的,国内都用的英文资料 我也看不懂英文,但没办法啊,只能抱着硬啃啦!! |
|
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
39.063ms |