Games and Full Abstraction for a Functional Metalanguage with Recursive Types(CSCW: Computer Supported Cooperative Work)

数理逻辑与数学基础

原   价:
1603.75
售   价:
1283.00
优惠
平台大促 低至8折优惠
发货周期:国外库房发货,通常付款后3-5周到货!
作      者
出  版 社
出版时间
1998年07月31日
装      帧
精装
ISBN
9783540762553
复制
页      码
208
开      本
9.21 x 6.14 x 0.50
语      种
英文
综合评分
暂无评分
我 要 买
- +
库存 30 本
  • 图书详情
  • 目次
  • 买家须知
  • 书评(0)
  • 权威书评(0)
图书简介
The Distinguished Dissertation series is published on behalf of the Conference of Professors and Heads of Computing and The British Computer Society, who annually select the best British PhD dissertations in computer science for publication. The dissertations are selected on behalf of the CPHC by a panel of eight academics. Each dissertation chosen makes a noteworthy contribution to the subject and reaches a high standard of exposition, placing all results clearly in the context of computer science as a whole. In this way computer
本书暂无推荐
本书暂无推荐
看了又看
  • 上一个
  • 下一个