Lecture Notes in Computer Science 4745 SDL 2007:Design for Dependable Systems 13th International SDL

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

2007 年出版290 页ISBN：9783540749837

Lecture Notes in Computer Science 190 Distributed Systems Methods and Tools for Specification An Adv

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

1985 年出版573 页ISBN：3540152164

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

Fourth International Conference on Trends in On-Line Computer Control Systems 5-8 April 1982

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

1982 年出版124 页ISBN：0852962568

Lenture Notes in Computer Science 3472 Model-Based Testing of Reactive Systems Advanced Lectures

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

2005 年出版659 页ISBN：3540262784

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

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

2005 年出版558 页ISBN：354029189X

Lecture Notes in Computer Science 3894 Architecture Of Computing Systems-ARCS 2006 19th Internationa

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

Germany2006 年出版0 页ISBN：

Expert Systems 85 Proceedings of the Fifth Technical Conference of the British Computer Society Spec

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

1985 年出版334 页ISBN：052132596X