书籍 Lecture Notes in Computer Science 3461 Typed Lambda Calculi and Applications 7th International Confe的封面

Lecture Notes in Computer Science 3461 Typed Lambda Calculi and Applications 7th International Confe

TLCA 2005

出版社

Springer-Verlag

出版时间

2005

ISBN

3540255931

标注页数

433 页

PDF页数

446 页

书籍介绍

在线购买PDF电子书

此书压缩包下载地址1 （113 MB）

此书压缩包下载地址2 （113 MB）

此书BT种子下载地址（速度快）

在线购买PDF电子书