搜索:软件工程形式化方法与语言
软件工程形式化方法与语言
文件大小:13MB 标注页数:200页 文件页数:210页
MD5:5f81f607facfda4f97d9f65b6ff51870
ISBN:9787308066679
出版社:杭州:浙江大学出版社
作者:李莹,吴江琴著
出版时间:2010
文件大小:13MB 标注页数:200页 文件页数:210页
MD5:5f81f607facfda4f97d9f65b6ff51870
ISBN:9787308066679
出版社:杭州:浙江大学出版社
作者:李莹,吴江琴著
出版时间:2010