书目信息 机读格式(MARC)
B语言与方法:实用形式化开发指南
| ISBN/价格： | 7-04-006411-1:￥10.70 |
|---|---|
| 作品语种： | chi eng |
| 出版国别： | CN 110000 |
| 题名责任者项： | B语言与方法/.(英)拉诺(Lano,K.)著/.鲍勇等译 |
| 出版发行项： | 北京:,高等教育出版社:,1998.7 |
| 载体形态项： | 304页:;+32开 |
| 一般附注： | 书名原文:The B Language and Method:A Guide to Practical Formal Development |
| 中图分类： | TP312 |
| 个人名称等同： | 拉诺 K. 著 |
| 个人名称等同： | Lano K. 著 |
| 个人名称次要： | 鲍勇 译 |
| 记录来源： | CN LCCC 19981026 |