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

软件工程 系统与语言规约

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

出版社

清华大学出版社

出版时间

2007

ISBN

9787302154327

标注页数

802 页

PDF页数

书籍介绍
本书介绍系统与语言的规约的基本原理和技术。
在线购买PDF电子书