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

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

TYPES 2004 Jouy-en-Josas

出版社

France

出版时间

2222

ISBN

标注页数

0 页

PDF页数

286 页

书籍介绍

在线购买PDF电子书

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

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

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

在线购买PDF电子书