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 |