简介
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
时光轴
里程碑1
LOG0
2023
2023-09
轻识收录
评价
0.0(满分 10 分)0 个评分
什么是点评分
全部评价(
0)
推荐率
100%
推荐
Foundations for Programming Languages
Written for advanced undergraduate and beginning g
Foundations for Programming Languages
0
Practical Foundations for Programming Languages
In this innovative book, Professor Robert Harper o
Practical Foundations for Programming Languages
0
Practical Foundations for Programming Languages
This text develops a comprehensive theory of progr
Practical Foundations for Programming Languages
0