• 首页
  • 本馆介绍
  • 公告通知
  • 最新文献
  • 馆藏检索
  • 电子资源
  • 读者导购
  • 参考咨询
  • CALIS
  • 我的图书馆
  • 登录
  • 详细信息显示
  • 放入我的书架
  • 预约/预借图书
  • 作者相关作品
  • 分类相关作品
  • 丛书相关作品
  • 出版社相关作品

书目信息

  • 表格格式
  • 工作单格式
  • 卡片格式
题名:
程序设计语言的形式语义
    
 
作者: 温斯克尔, , 温斯克尔 著 ;宋国新, 译
分册:  
出版信息: 北京   机械工业出版社  2004.01
页数: 283页
开本: 26cm
丛书名: 计算机科学丛书
单 册:
中图分类: TP301.2
科图分类:
主题词: 程序语言--cheng xu yu yan--形式语义
电子资源:
ISBN: 7-111-13153-3
 
 
 
 
 
000 01458nam 2200385 450
001 CAL 012004009827
005 20050514161333.47
010    @a7-111-13153-3@d32.00CNY
092    @b0001701-278
099    @aCAL 012004009827
100    @a20040212d2004 em y0chiy0121 ea
101 1  @achi@ceng
102    @aCN@b110000
105    @aa a 001yy
200 1  @a程序设计语言的形式语义@Acheng xu she ji yu yan de xing shi yu yi@d= The formal semantics of programming languages@ean introduction@f温斯克尔著@Fwen si ke er zhu@g宋国新 ... 等译@zeng
210    @a北京@c机械工业出版社@d2004.01
215    @a283页@c图@d26cm
225 2  @a计算机科学丛书@Aji suan ji ke xue cong shu
304    @a本书其它译者:邵志清, 潘俊, 孙霖
305    @a据Massachusetts Institute of Technology 1993年英文版译出
306    @a由麻省理工学院出版社授权机械工业出版社和中信出版社共同出版
314    @a责任者 (Winskel) 汉译姓取自在版编目: 温斯克尔
320    @a有书目 (第273-275页) 和索引
410  0 @12001 @a计算机科学丛书
510 1  @aFormal semantics of programming languages@ean introduction@zeng
606 0  @a程序语言@Acheng xu yu yan@x形式语义
690    @aTP301.2@v4
700  0 @4著
701  1 @a温斯克尔,@Awen si ke er@bG.@g(Winskel, Glynn)@4著
701  0 @a温斯克尔@Awen si ke er@4著
702  0 @a宋国新,@Asong guo xin@f1945-@4译
801  0 @aCN@bBUPT@c20050514
905    @a10447@dTP301.2@eW622
906    @dCNY32.00@n0@r1
998    @aBUPT
    
    程序设计语言的形式语义= The formal semantics of programming languages:an introduction/温斯克尔著/宋国新 ... 等译.-北京:机械工业出版社,2004.01
    283页:图;26cm.-(计算机科学丛书)
    
    
    ISBN 7-111-13153-3:32.00CNY
    
●
相关链接 在E读中查询图书 在当当中查询图书 在豆瓣中查询图书


正题名:程序设计语言的形式语义     索取号:TP301.2/W622         预约/预借

序号 登录号 条形码 馆藏地/架位号 状态 备注
1 531879   205318798   自科库301/301自科库 45排4列4层/ [索取号:TP301.2/W622] 在馆    
2 531880   205318805   自科二线404/404自科库 12排6列3层/ [索取号:TP301.2/W622] 在馆    
3 531881   205318814   自科库301/301自科库 45排4列4层/ [索取号:TP301.2/W622] 在馆    
河南城建学院图书馆 欢迎您!
大连网信软件有限公司© 版权所有