简介
This text develops a comprehensive theory of programming languages based on type systems and structural operational semantics. Language concepts are precisely defined by their static and dynamic seman... 更多
属性
出版社
Cambridge University Press
ISBN
9781107150300
出版年
2016-4-4
装帧
Hardcover
价格
USD 80.74
页数
512
评价
0.0(满分 10 分)0 个评分
什么是点评分
全部评价(
0)
推荐率
100%