安徽科技学院图书馆书目检索系统

| 暂存书架(0) | 登录

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

题名/责任者:
程序设计语言理论基础/(美) John C. Mitchell著 许满武 ... [等] 译
出版发行项:
北京:电子工业出版社,2006
ISBN及定价:
7-121-03224-4/CNY68.00
载体形态项:
18, 563页:图;26cm
并列正题名:
Foundations for programming languages
丛编项:
国外计算机科学教材系列
个人责任者:
米切尔, J. C. (Mitchell, John C.)
个人次要责任者:
许满武
个人次要责任者:
徐建
个人次要责任者:
衷宜
学科主题:
程序语言-教材
中图法分类号:
TP312
题名责任附注:
译者还有: 徐建, 衷宜, 杨群
出版发行附注:
由MIT Press授予本社出版
书目附注:
有书目 (第548-563页)
提要文摘附注:
本书提出了一个框架,用于分析程序设计语言的语法、操作和语义性质。最后三章研究多态类型,连带讨论了抽象数据类型的说明形式和程序模块、类型适应性和类型推理。
全部MARC细节信息>>
索书号 条码号 年卷期 校区—馆藏地 书刊状态
TP312/354 S554713   总馆—自然书库(凤阳)     可借
TP312/354 S554714   总馆—自然书库(凤阳)     可借
TP312/354 S554715   总馆—自然书库(凤阳)     可借
TP312/354 S554716   总馆—自然书库(凤阳)     可借
显示全部馆藏信息
借阅趋势

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