- 题名/责任者:
- Abstraction and specification in program development / Barbara Liskov and John Guttag.
- 出版发行项:
- Cambridge, Mass. : MIT Press ; New York : McGraw-Hill, c1986.
- ISBN:
- 0262121123 :
- 载体形态项:
- xv, 469 p. : ill. ; 24 cm.
- 个人责任者:
- Liskov, B.
- 附加个人名称:
- Guttag, John.
- 论题主题:
- Electronic digital computers-Programming.
- 中图法分类号:
- TP33
- 书目附注:
- Includes bibliographical references and index.
- 随书光盘:
全部MARC细节信息>>