MARC状态：审校 文献类型：西文图书 浏览次数：3
- 题名/责任者:
- Proving programs correct / Robert B. Anderson.
- 出版发行项:
- New York : Wiley, c1979.
- ISBN:
- 0471033952
- 载体形态项:
- viii, 184 p. : ill. ; 23 cm.
- 个人责任者:
- Anderson, Robert Brockett, 1941-
- 论题主题:
- Computer programs-Testing.
- 中图法分类号:
- TP31
- 科图法分类号:
- 73.87Q14
- 书目附注:
- includes bibliographical reference (p. 170-182) and index.
全部MARC细节信息>>
外文书库