书籍 软件形式规格说明语言-Z的封面

软件形式规格说明语言-Z

缪淮扣 陈怡海编著

出版社

北京：清华大学出版社

出版时间

2012

ISBN

9787302292777

标注页数

299 页

PDF页数

312 页

书籍介绍
本书详细介绍了软件形成化方法与软件规格说明语言—Z的相关知识和设计方法，适合作为高校软件工程学科的教材使用。

在线购买PDF电子书

此书压缩包下载地址1 （14 MB）

此书压缩包下载地址2 （14 MB）

此书BT种子下载地址（速度快）

在线购买PDF电子书