西安工业大学图书馆书目检索系统

| 暂存书架(0) | 登录

MARC状态：已编 文献类型：西文图书 浏览次数：22

题名/责任者:
Formal development of programs and proofs / edited by Edsger W. Dijkstra.
出版发行项:
Reading, Mass. : Addison-Wesley, c1990.
ISBN:
0201172372
载体形态项:
xiv, 242 p. : ill. ; 25 cm.
丛编题名:
The UT year of programming series
附加个人名称:
Dijkstra, Edsger Wybe
论题主题:
Computer programming-Congresses.
中图法分类号:
TP311.52
书目附注:
Includes bibliographical references.
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 书刊状态 还书位置
TP311.52/E1 700015558   西文密集     可借 西文密集
TP311.52/E1 700015559   西文密集     可借 西文密集
显示全部馆藏信息
借阅趋势

同名作者的其他著作(点击查看)
用户名：
密码：
验证码：
请输入下面显示的内容
  证件号 条码号 Email
 
姓名：
手机号：
送 书 地：
收藏到： 管理书架