注册 | 登录读书好，好读书，读好书！

当前位置：首页出版图书科学技术计算机/网络程序验证和规范的形成方法

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

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

定　价：¥2.15

作　者：	（美）H.K.伯格（Helmut K.Berg）等著；宋国新等译
出版社：	科学出版社
丛编项：
标　签：	程序验证

ISBN：	9787030002792	出版时间：	1988-04-01	包装：
开本：	19cm	页数：	250页	字数：

内容简介

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

作者简介

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

图书目录

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

本目录推荐