MARC状态:审校 文献类型:西文图书 浏览次数:9
- 题名/责任者:
- Formal engineering for industrial software development : using the SOFL method = 软件开发的形式化工程方法 : 结构化+面向对象+形式化 / Shaoying Liu著.
- 出版发行项:
- 北京 : 清华大学出版社, 2008.
- ISBN:
- 9787302183174
- 载体形态项:
- xxii, 408 p. : ill. ; 26 cm.
- 变异题名:
- Formal engineering for industrial software development : using the SOFL method
- 丛编题名:
- 国外经典教材. 计算机科学与技术
- 个人责任者:
- Liu, Shaoying
- 论题主题:
- Computer software-Development.
- 中图法分类号:
- TP311.52
- 一般附注:
- English title is from English title page.
- 书目附注:
- Includes bibliographical references (p. [383]-389) and index.
- 原版附注:
- Reprint. Originally published: Berlin ; New York : Springer, 2004. 3540206027.
全部MARC细节信息>>