书籍 Lecture Notes in Computer Science 3085 Types for Proofs and Programs International Workshop的封面

Lecture Notes in Computer Science 3085 Types for Proofs and Programs International Workshop

TYPES 2003 Torino

出版社

Ltaly

出版时间

2222

ISBN

标注页数

0 页

PDF页数

421 页

书籍介绍

在线购买PDF电子书

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

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

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

在线购买PDF电子书