书目检索
简单检索
多字段检索
组合检索
书目详细信息
用户登录
书目信息
机读格式(MARC)
程序验证和规范的形式方法
ISBN/价格：
7-03-000279-2:￥2.15
作品语种：
chi eng
出版国别：
CN 110000
题名责任者项：
程序验证和规范的形式方法/.
(美)伯格等著
/.宋国新等译
出版发行项：
北京:,科学出版社:,1988.04
载体形态项：
250 页:;+19cm
中图分类：
TP31
个人名称等同：
伯格 著
个人名称次要：
宋国新 译
记录来源：
CN BAU 20051022
总体评分：
（共0人）
我的评分：
共12人预约本书
收藏
馆藏
附件
评论
相关借阅
借阅趋势
评论共
条 ，
请登录
后发表评论
用户评论