登录
机构网站
切换导航
首页
到馆服务
学科服务
研究支持
情报产品
数据资源
科学传播
关于我们
首页
馆藏纸本
图书详情
计算系统的形式语义
出版社:
清华大学出版社
ISBN:
9787302414940
出版年:
2017
作者:
陆汝钤
学科:
电技术、电子技术
资源类型:
图书
细分类型:
中文文献
1浏览量
问图书管理员
馆际互借
点赞
收藏
访问借阅管理系统
分享
相关推荐
计算机语言的形式语义
作者:
陆汝钤
ISBN:
7030030222
出版社:
科学出版社
出版年:
1992
形式语义学引论 :理论计算机科学
作者:
周巢尘
出版社:
湖南科学技术出版社
出版年:
1985
汉语计算语义学 :关系、关系语义场和形式分析
作者:
吴蔚天
ISBN:
7505349724
出版社:
电子工业出版社
出版年:
1999
形式语义及编译形式化
作者:
龚淳
出版年:
1985
形式语义学引论
作者:
周巢尘
ISBN:
9787030533838
出版社:
科学出版社
出版年:
2017
形式语义学基础与形式说明
作者:
屈延文
ISBN:
7030006062
出版社:
科学出版社
出版年:
1989
×
访问借阅管理系统