《软件工程系统与语言规约》PDF下载

购买积分：22 如何计算积分？
作　　者：（丹）比约纳（Bjorner，D.）著
出版社：清华大学出版社
出版年份：2007
ISBN：9787302154327
页数：802 页

图书介绍：本书介绍系统与语言的规约的基本原理和技术。

点击购买此书全本PDF电子书

暂无PDF目录预览