书籍 Lecture Notes in Computer Science 3901 Logic Based Program Synthesis and Transformation 15th Interna的封面

Lecture Notes in Computer Science 3901 Logic Based Program Synthesis and Transformation 15th Interna

LOPSTR 2005

出版社

Springer-Verlag

出版时间

2006

ISBN

3540326545

标注页数

179 页

PDF页数

190 页

书籍介绍

在线购买PDF电子书

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

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

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

在线购买PDF电子书