|
题名:
|
B语言与方法 / (英)K. Lano 著 , 鲍涌，刘建元，邹德林译 |
|
ISBN:
|
7-04-006411-1 价格： ￥10.70 |
|
语种:
|
chi |
|
载体形态:
|
304页 20cm |
|
出版发行:
|
出版地： 北京 出版社： 高等教育出版社 出版日期： 1998 |
|
内容提要:
|
本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成系统开发的方法。 |
|
主题词:
|
B语言 开发 |
|
中图分类法:
|
TP312 版次： 3 |
|
其它题名:
|
实用形式化开发指南 |
|
主要责任者:
|
Lano 著 |
|
主要责任者:
|
兰诺 著 |
|
次要责任者:
|
鲍涌 译 |
|
次要责任者:
|
刘建元 译 |
|
次要责任者:
|
邹德林 译 |
|
附注:
|
书名原文: The B Language and Method : A Guide to Practical Formal Development |
|
索书号:
|
5 |