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

Lecture Notes in Computer Science 3573 Logic Based Program Synthesis and Transformation 14th Interna

LOPSTR 2004

出版社

Springer-Verlag

出版时间

2005

ISBN

3540266550

标注页数

277 页

PDF页数

288 页

书籍介绍
在线购买PDF电子书