|
以文本方式查看主题 - 计算机科学论坛 (http://bbs.xml.org.cn/index.asp) -- 『 软件工程论坛 』 (http://bbs.xml.org.cn/list.asp?boardid=48) ---- 学形式化方法,B语言,Z语言该看哪些书 (http://bbs.xml.org.cn/dispbbs.asp?boardid=48&rootid=&id=10528) |
|
-- 作者：pqmagicwu -- 发布时间：9/23/2004 12:31:00 PM -- 学形式化方法,B语言,Z语言该看哪些书 学形式化方法,B语言,Z语言该看哪些书 |
|
-- 作者：zoushengrong -- 发布时间：10/12/2004 9:15:00 AM -- http://myweb.yzu.edu.cn/srzou/ 邹盛荣-----软件工程的形式化方法 |
|
-- 作者：sjmei -- 发布时间：10/16/2004 10:06:00 AM -- 缪淮扣：软件工程语言——Z |
|
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
61.523ms |