图书馆

登录

书目详细信息： 程序验证和规范的形式方法

书目信息  机读格式(MARC)

《程序验证和规范的形式方法》

ISBN/价格：	7-03-000279-2:￥2.15
题名责任者项：	程序验证和规范的形式方法/.[美]H.K.伯格等著;宋国新等译
版本项：	1
出版发行项：	北京:,科学出版社:,1988.4
载体形态项：	250页:;+32开
题名主题：	程序验证
个人名称等同：	[美]H.K.伯格等著;宋国新等译
记录来源：	/ /

总体评分：（共0人）

我的评分：

收藏加入课程

相关资源

馆藏信息  附件信息  评论信息  相关借阅  借阅趋势  参考书目

借阅关系图

相关资源

二维码

《程序验证和规范的形式方法》二维码