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

Lecture Notes in Computer Science 3018 Logic Based Program Synthesis and Transformation 13th Interna

LOPSTR 2003

出版社

Springer-Verlag

出版时间

2004

ISBN

3540221743

标注页数

233 页

PDF页数

246 页

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