Lecture Notes in Computer Science 3393 Formal Methods in Software and Systems Modeling Essays Dedica

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

2005 年出版413 页ISBN：3540249362

Lecture Notes in Computer Science 3009 Product Focused Software Process Improvement 5th Internatonal

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

PROFES 20042004 年出版584 页ISBN：3540214216

Lecture Notes in Computer Science 3582 FM 2005:Formal Methods International Symposium of Formal Meth

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

2005 年出版558 页ISBN：3540278826

Lecture Notes in Computer Science 3975 Hardware and Software Verification and Testing First Internat

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

Israel2006 年出版0 页ISBN：

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 2999 Integrated Formal Methods 4th International Conference

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

IFM 20042004 年出版541 页ISBN：3540213775

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

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

IFM 20072007 年出版660 页ISBN：9783540732099

Lecture Notes in Computer Science 4716 Software Engineering Approaches for Offshore and Outsourced D

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

SEAFOOD 20072007 年出版201 页ISBN：9783540755418

Lecture Notes in Computer Science 4761 Software Technologies for Embedded and Ubiquitous Systems 5th

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

SEUS 20072007 年出版563 页ISBN：9783540756637

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

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

ISOLA 20042006 年出版197 页ISBN：9783540489283