注册 | 登录读书好，好读书，读好书！
读书网-DuShu.com
当前位置： 首页出版图书科学技术计算机/网络程序验证和规范的形成方法

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

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

定　价：¥2.15

作　者： （美）H.K.伯格（Helmut K.Berg）等著；宋国新等译
出版社： 科学出版社
丛编项：
标　签： 程序验证
ISBN： 9787030002792 出版时间： 1988-04-01 包装：
开本： 19cm 页数： 250页 字数：  

内容简介

　　本书全面地介绍了程序验证理论、规范及有关的方法，详尽地阐述了有关的验证技术细节。

作者简介

暂缺《程序验证和规范的形成方法》作者简介

图书目录

暂缺《程序验证和规范的形成方法》目录

本目录推荐