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