| 暂存书架(0) | 登录

MARC状态：审校 文献类型：中文图书 浏览次数：124

题名/责任者:
形式语义学基础/陈意云编著
出版发行项:
合肥:中国科学技术大学出版社,1994
ISBN及定价:
7-312-00533-0/CNY7.50
载体形态项:
237页;26cm
个人责任者:
陈意云 编著
学科主题:
形式语言
中图法分类号:
TP312
中图法分类号:
TP301.2
书目附注:
有书目
提要文摘附注:
本书介绍了程序设计语言形式语义方面的技术,其中有语义、公理语义、指称语义、代数规范的初始语义等。
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 书刊状态 定位
TP312/7401 0164570   密集书库一     可借 定位
TP312/7401 0068138   理科综合阅览室     保留本 定位
显示全部馆藏信息
借阅趋势

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