简介
Written for advanced undergraduate and beginning graduate students, Foundations for Programming Languages uses a series of typed lambda calculi to study the axiomatic, operational, and denotational se... 更多
属性
作者
玛格丽特·米切尔
出版社
The MIT Press
ISBN
9780262133210
出版年
1996-9-1
装帧
Hardcover
价格
USD 95.00
页数
845
评价
0.0(满分 10 分)0 个评分
什么是点评分
全部评价(
0)
推荐率
100%