Lecture Notes in Computer Science 4262 Formal Approaches to Software Testing and Runtime Verificatio

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

2006 年出版255 页ISBN：9783540496991

Lecture Notes in Computer Science 23 Programming Methodology 4th Informatik Symposium

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

IBM Germany1975 年出版501 页ISBN：3540071318

Lecture Notes in Computer Science 4748 Formal Methds and Stochastic Models for Percformance Evaluati

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

EPEW 20072007 年出版300 页ISBN：9783540752103

Lecture Notes in Computer Science 3670 Formal Techniques for Comprter Systems and Busoness Processes

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

EPEW 20052005 年出版349 页ISBN：3540287019

Lecture Notes in Computer Science 3701 Theoretical Computer Science 9th Italian Conference

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

ICTCS 20052005 年出版411 页ISBN：3540291067

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 3004 Evolutionary Computation in Combinatorial Optimization 4th Eu

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

EvoCOP 20042004 年出版241 页ISBN：3540213678

Lecture Notes in Computer Science 3235 Formal Techniques for Networked and Distributed Systems-FORTE

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

2004 年出版376 页ISBN：3540232524

Lecture Notes in Computer Science 4574 Formal Techniques for Networked and Distributed Systems-FORTE

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

2007 年出版375 页ISBN：9783540731955

Lecture Notes in Computer Science 4229 Formal Techniques for Networked and Distributed Systems-FORTE

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

2006 年出版486 页ISBN：3540462198