大拱桥--暨南大学学生门户 » 图书馆 » | 08 环境公报 » 程序验证和规范的形式方法
名称 程序验证和规范的形式方法
索引号 107529
分类号
(| 08 环境公报)
作者 伯格 H.K.、宋国新、
出版社 北京 : 科学出版社, 1988
ISBN 7-03-000279-2
页数 250页 ; 32cm
价格 CNY2.15
标签
简介
注解