书籍 软件开发的形式化工程方法:结构化+面向对象+形式化的封面

软件开发的形式化工程方法:结构化+面向对象+形式化

[日]SHAOYING LIU著

出版社

清华大学出版社

出版时间

2008

ISBN

标注页数

408 页

PDF页数

430 页

书籍介绍
在线购买PDF电子书