MARC状态：审校 文献类型：西文图书 浏览次数：17
- 题名/责任者:
- Program verification using Ada / Andrew D. McGettrick.
- 出版发行项:
- Cambridge ; New York : Cambridge University Press, 1982.
- ISBN:
- 0521242150 (hardcover)
- ISBN:
- 0521285313 (pbk.)
- 载体形态项:
- 345 p. ; 24 cm.
- 丛编题名:
- Cambridge computer science texts ; 13
- 个人责任者:
- McGettrick, Andrew D., 1944-
- 论题主题:
- Computer programs-Verification.
- 中图法分类号:
- TP312
- 一般附注:
- Includes index.
- 书目附注:
- Bibliography: p. 335-339.
全部MARC细节信息>>