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

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

1982 年出版304 页ISBN：3540112103

Lecture Notes in Computer Science 3945 Functional and Logic Programming 8th International Symposium

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

FLOPS 20062006 年出版294 页ISBN：3540334386

Lecture Notes in Computer Science 2998 Functional and Logic Programming 7th International Symposium

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

FLOPS 20062004 年出版307 页ISBN：354021402X

Lecture Notes in Computer Science 2024 Functional and Logic Programming 5th International Symposium

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

FLOPS 2001 Tokyo2222 年出版0 页ISBN：

Lecture Notes in Computer Science 125 Logic of Programs Workshop

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

ETH Zurich1981 年出版245 页ISBN：

Lecture Notes in Computer Science 106 The Programming Language Ada

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

1980 年出版243 页ISBN：3540106936

Lecture Notes in Computer Science 4576 Logic

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

Language2007 年出版0 页ISBN：

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 4010 Unifying Theories of Programming First International Symposiu

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

UTP 20062006 年出版257 页ISBN：354034750X

Lecture Notes in Computer Science 3634 Computer Science Logic 19th International Workshop

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

CSL 20052005 年出版567 页ISBN：3540282319