大拱桥--暨南大学学生门户 » 图书馆 » | 08 环境公报 » B语言与方法 : 实用形式化开发指南
名称 B语言与方法 : 实用形式化开发指南
索引号 611851
分类号
(| 08 环境公报)
作者 拉诺 K.、鲍涌、刘建元、邹德林、
出版社 北京 : 高等教育出版社, 1998
ISBN 7-04-006411-1
页数 304页 ; 20cm
价格 CNY10.70
标签
简介
注解 据施普林格出版社授权