书籍 软件工程  系统与语言规约的封面

软件工程 系统与语言规约PDF电子书下载

(丹)比约纳(Bjorner D.)著

购买点数

22

出版社

清华大学出版社

出版时间

2007

ISBN

9787302154327

标注页数

802 页

PDF页数

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

查看更多关于的内容

在线购买PDF电子书
下载此书RAR压缩包