安全性设计分析与验证=safety design analysis and verification

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

赵廷弟主编2011 年出版0 页ISBN：

PENDULUM IMPACT MACHINES:PROCEDURES AND SPECIMENS FOR VERIFICATION

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

THOMAS A.SIEWERT AND A.KARL SCHMIEDER1995 年出版298 页ISBN：

formal verification an essential toolkit for modern vlsi design

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

2222 年出版0 页ISBN：

FORMAL VLSI CORRECTNESS VERIFICATION VLSI Design Methods-II

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

1990 年出版427 页ISBN：0444886885

Real-Time Systems Formal Specification and Automatic Verification

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

2008 年出版320 页ISBN：9780521883337

升降线 概念、原理与初证 concepts， principles and preliminary verification

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

吴明著2007 年出版174 页ISBN：7802078024

本书介绍了股市技术指标——升降线的概念、原理与使用方法。

Lecture Notes in Computer Science 124 Compiler Specification and Verification

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

1981 年出版269 页ISBN：3540108866

Lecture Notes in Computer Science 4839 Runtime Verification 7th International Workshop

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

RV 20072007 年出版218 页ISBN：9783540773948

Developments in Surface Contamination and Cleaning: Cleanliness Validation and Verification Volume 7

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

Rajiv Kohli ; K. L Mittal2015 年出版190 页ISBN：0323313032

Lecture Notes in Computer Science 3114 Computer Aided Verification 16th International Conference

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

CAV 20042004 年出版536 页ISBN：3540223428