Lecture Notes in Computer Science 3049 Program Development in Computational Logic A Decade of Resear

下载此书RAR压缩包在线购买PDF电子书

2004 年出版539 页ISBN：3540221522

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

下载此书RAR压缩包在线购买PDF电子书

LOPSTR 20042005 年出版277 页ISBN：3540266550

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

下载此书RAR压缩包在线购买PDF电子书

LOPSTR 20052006 年出版179 页ISBN：3540326545

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

下载此书RAR压缩包在线购买PDF电子书

LOPSTR 20032004 年出版233 页ISBN：3540221743

Lecture Notes in Computer Science 4407 Logic-Based Program Synthesis and Transformation 16th Interna

下载此书RAR压缩包在线购买PDF电子书

LOPSTR 20062007 年出版236 页ISBN：9783540714095

Lecture Notes in Computer Science 755 Formal Program Development IFIP TC2/WG 2.1 State-of-the-Art Re

下载此书RAR压缩包在线购买PDF电子书

1993 年出版372 页ISBN：3540574999

Lecture Notes in Computer Science 125 Logic of Programs Workshop

下载此书RAR压缩包在线购买PDF电子书

ETH Zurich1981 年出版245 页ISBN：

Lecture Notes in Computer Science 130 Axiomatising the Logic of Computer Programming

下载此书RAR压缩包在线购买PDF电子书

1982 年出版304 页ISBN：3540112103

Lecture Notes in Computer Science 4423 Foundations of Software Science and Computational Structures

下载此书RAR压缩包在线购买PDF电子书

FOSSACS 20072007 年出版379 页ISBN：9783540713883

Lecture Notes in Computer Science 3515 Computational Science-ICCS 2005 5th Intrnational Conference A

下载此书RAR压缩包在线购买PDF电子书

GA2222 年出版0 页ISBN：