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

书目信息

  • 表格格式
  • 工作单格式
  • 卡片格式
题名:
计算系统的形式语义
    
 
作者: 陆汝钤 著
分册: 上  
出版信息: 北京   清华大学出版社  2017
页数: 17,926页
开本: 24cm
丛书名:
单 册:
中图分类: TP301.2
科图分类:
主题词: 形式语义--研究
电子资源:
ISBN: 978-7-302-41494-0
000 00922nam0 2200241 450
001 1860600187
005 20180926091308.09
010    @a978-7-302-41494-0@b精装@dCNY199.00(398.00全2册)
100    @a20170802d2017 em y0chiy50 ea
101 0  @achi
102    @aCN@b110000
105    @aa z 000yy
200 1  @a计算系统的形式语义@9ji suan xi tong de xing shi yu yi@dFormal semantics of computing systems@h上@f陆汝钤著@zeng
210    @a北京@c清华大学出版社@d2017
215    @a17,926页@c图@d24cm
300    @a国家科学技术学术著作出版基金
330    @a计算系统的形式语义是目前计算机科学理论研究的两大方向之一,其研究成果对程序设计语言、编译技术、应用软件、分布式系统等分支领域有重大的实际意义。
510 1  @aFormal semantics of computing systems@zeng
606 0  @a形式语义@x研究
690    @aTP301.2@v5
701  0 @a陆汝钤@9lu ru qian@f(1935-)@4著
801  0 @aCN@b91MARC@c20170802
905    @a241250@dTP301.2@e5:1
    
    计算系统的形式语义=Formal semantics of computing systems.上/陆汝钤著.-北京:清华大学出版社,2017
    17,926页:图;24cm
    国家科学技术学术著作出版基金
    
    ISBN 978-7-302-41494-0(精装):CNY199.00(398.00全2册)
    计算系统的形式语义是目前计算机科学理论研究的两大方向之一,其研究成果对程序设计语言、编译技术、应用软件、分布式系统等分支领域有重大的实际意义。
●
相关链接


正题名:计算系统的形式语义     索取号:TP301.2/5:1         预约/预借

序号 登录号 条形码 馆藏地/架位号 状态 备注
1 1766716   217667166   样本书库/ [索取号:TP301.2/5:1] 在馆    
商丘师范学院图书馆 欢迎您!
大连网信软件有限公司© 版权所有