书籍 程序验证和规范的形成方法的封面

程序验证和规范的形成方法

(美)伯 格(Berg H.K.)等著 宋国新等译

出版社

北京:科学出版社

出版时间

1988

ISBN

7030002792

标注页数

250 页

PDF页数

262 页

书籍介绍
本书全面地介绍了程序验证理论、规范及有关的方法
在线购买PDF电子书