AN INTRODUCTION TO FORMAL PROGRAM VERIFICATION

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

ALI MILI1985 年出版291 页ISBN：0442263228

formal verification an essential toolkit for modern vlsi design

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

2222 年出版0 页ISBN：

Formal Semantics：An Introduction

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

（英）卡恩2010 年出版344 页ISBN：

PROGRAMMING LOGICS AN INTERODUCTION TO VERIFICATION AND SEMANTICS

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

RAYMOND D.GUMB2222 年出版334 页ISBN：

核军备控制核查技术概论=an introduction of verification technology of nuclear arms control

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

刘成安2007 年出版0 页ISBN：

Introduction To The Formal Design of Real-Time Systems

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

1999 年出版461 页ISBN：3540761403

电视节目制作概论=Introduction to Television Program Production

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

杨晓宏2015 年出版0 页ISBN：

Program Verification Using Ada

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

1982 年出版345 页ISBN：0521285313

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