江汉大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

程序验证和规范的形式方法/(美)H.K.伯格著 宋国新等译

出版发行项:

北京:科学出版社,1988.4

ISBN及定价:

7-03-000279-2/ 2.15

载体形态项:

250页;小32开

编目员补充题名:

CXYZHGFDXSFF

个人责任者:

)H.K.伯格 (美 著

个人责任者:

宋国新 等译

学科主题:

软件

非控制主题词:

程序 验证 规范 形式 方法

中图法分类号:

TP311.1

豆瓣简介：