AN INTRODUCTION TO FORMAL PROGRAM VERIFICATION

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

ALI MILI1985 年出版291 页ISBN：0442263228

中华人民共和国国家标准 GB/T16655-1996 工业自动化系统集成制造系统安全的基本要求=Industrial automation systems-Safety of integrated

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

2222 年出版0 页ISBN：

Lecture Notes in Computer Science 4349 Verification

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

Model Checking2007 年出版0 页ISBN：

Lecture Notes in Computer Science 3385 Verification

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

Moel Checking2005 年出版0 页ISBN：

Lecture Notes in Computer Science 2937 Verification

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

Model Checking2004 年出版0 页ISBN：

Biometrics:Advanced Identity Verification The Complete Guide

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

2000 年出版201 页ISBN：1852332433

信息融合理论在惯性_天文_GPS组合导航系统中的应用=the application of information fusion theory in INS_CNS_GPS integrated na

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

申功勋1998 年出版0 页ISBN：

Numerical Software with Result Verification International Dagstuhl Seminar

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

2004 年出版315 页ISBN：3540212604

PROGRAMMING LOGICS AN INTERODUCTION TO VERIFICATION AND SEMANTICS

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

RAYMOND D.GUMB2222 年出版334 页ISBN：

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

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

2222 年出版0 页ISBN：