Lecture Notes in Computer Science 4355 B 2007:Formal Specification and Development in B 7th Internat

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

France2006 年出版0 页ISBN：

Lecture Notes in Computer Science 2987 Foundations of Software Science and Computation Structures 7t

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

FOSSACS 20042004 年出版528 页ISBN：3540212981

Lecture Notes in Computer Science 3441 Foundations of Software Science and Computation Structures 8t

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

FOSSACS 20052005 年出版521 页ISBN：3540253882

Lecture Notes in Computer Science 3921 Foundations of Software Science and Computation Structures 9t

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

FOSSACS 20062006 年出版447 页ISBN：3540330453

Lecture Notes in Computer Science 3362 Construction and Analysis of Safe

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

Secure2005 年出版0 页ISBN：

Lecture Notes in Computer Science 3956 Construction and Analysis of Safe

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

Secure2006 年出版0 页ISBN：

Lecture Notes in Computer Science 2303 Foundations of Software Science and Computation Structures 5t

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

FOSSACS 20022002 年出版433 页ISBN：354043366X

Lecture Notes in Computer Science 761 Foundations of Software Technology and Theoretical Computer Sc

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

1993 年出版0 页ISBN：

Lecture Notes in Computer Science 4765 Early Aspects:Current Challenges and Future Directions 10th I

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

Canada2007 年出版0 页ISBN：

Lecture Notes in Computer Science 3818 Advances in Computer Science-ASIAN 2005 Data Management on th

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

2005 年出版294 页ISBN：3540307672