| 暂存书架(0) | 登录

MARC状态:已编 文献类型:中文图书 浏览次数:85

题名/责任者:
程序设计语言的形式语义:an introduction/Glynn Winskel著 宋国新 ... [等] 译
出版发行项:
北京:机械工业出版社,2004
ISBN及定价:
7-111-13153-3/CNY32.00
载体形态项:
283页:图;26cm
并列正题名:
Formal semantics of programming languages:an introduction
丛编项:
计算机科学丛书
个人责任者:
温斯克尔, G. (Winskel, Glynn)
个人次要责任者:
宋国新, 1945- 译
学科主题:
程序语言-形式语义
中图法分类号:
TP301.2
出版发行附注:
据Massachusetts Institute of Technology 1993年英文版译出, 由麻省理工学院出版社授权机械工业出版社和中信出版社共同出版.
责任者附注:
责任者 (Winskel) 汉译姓取自在版编目: 温斯克尔.
书目附注:
有书目 (第273-275页) 和索引
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 书刊状态 定位
TP301.2/5460 0853719   密集书库一 密一78B4     可借 定位
TP301.2/5460 0853716   9楼南电信软件工程借阅室     可借 定位
TP301.2/5460 0853717   9楼南电信软件工程借阅室     可借 定位
TP301.2/5460 0853718   9楼南电信软件工程借阅室     可借 定位
TP301.2/5460 0853720   9楼南电信软件工程借阅室     可借 定位
显示全部馆藏信息
借阅趋势

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