MARC状态：已编 文献类型：西文图书 浏览次数：83
- 题名/责任者:
- Modular specification and verification of object-oriented programs / Peter Müller.
- 出版发行项:
- Berlin ; New York : Springer, c2002.
- ISBN:
- 3540431675 (pbk.) :
- 载体形态项:
- xiv, 292 p. : ill. ; 24 cm.
- 丛编题名:
- Lecture notes in computer science, 0302-9743 ; 2262
- 个人责任者:
- Muller, Peter.
- 附加团体名称:
- LINK (Online service)
- 论题主题:
- Computer software-Development.
- 论题主题:
- Modular programming.
- 中图法分类号:
- TP311.1
- 一般附注:
- Based on the author's thesis (doctoral)--Fernuniversit?t Hagen, 2001.
- 书目附注:
- Includes bibliographical references (p. [271]-283) and index.
- 载体形态附注:
- Available also through Springer LINK.
- 随书光盘:
全部MARC细节信息>>
东5层4区