Lecture Notes in Computer Science 3395 Formal Approaches to Software Testing 4th International Works

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

FATES 20042005 年出版225 页ISBN：354025109X

Lecture Notes in Computer Science 2999 Integrated Formal Methods 4th International Conference

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

IFM 20042004 年出版541 页ISBN：3540213775

Lecture Notes in Computer Science 3771 Integrated Formal Methods 5th International Conference

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

IFM 20052005 年出版407 页ISBN：3540304924

Lecture Notes in Computer Science 4591 Integrated Formal Methods 6th International Conference

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

IFM 20072007 年出版660 页ISBN：9783540732099

Lecture Notes in Computer Science 4607 Web Engineering 7th International Conference

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

ICWE 20072007 年出版576 页ISBN：9783540735960

Lecture Notes in Computer Science 4085 FM 2006:Formal Methods 14th International Symposium on Formal

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

2006 年出版620 页ISBN：3540372156

Lecture Notes in Computer Science 4313 Leveraging Applications of Formal Methods First International

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

ISOLA 20042006 年出版197 页ISBN：9783540489283

Lecture Notes in Computer Science 750 Software Engineering Education 7th SEI CSEE Conference San Ant

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

Texas2222 年出版0 页ISBN：

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 3965 Formal Methods for Hardware Verification 6th International Sc

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

Communication2006 年出版0 页ISBN：