书目详细信息
： Software engineering. 2, Abstraction and modelling =
书目信息 机读格式(MARC)
| ISBN： | 9787302153573: |
|---|---|
| 编目源： | CN GUANGHUA |
| 语种代码： | eng |
| 个人名称： | Bj?rner, D. (Dines), 1937- . |
| 题名： | Software engineering. 2, Abstraction and modelling = 软件工程. 卷 2, 系统与语言规约约/ Dines Bj?rner. [monograph] Dines Bjorner. |
| 出版发行项： | Beijing : Tsinghua University Press, 2007. |
| 载体形态： | xxiv, 777 p. : ill. ; 23 cm． |
| 丛编说明： | 美国麦格劳-希尔教育出版公司工商管理最新教材 |
| 书目附注： | Includes bibliographical references and index. |