《APPLIED FORMSL VERIFICATION》
| 作者 | DOUGLAS L.PERRY 编者 |
|---|---|
| 出版 | 未查询到或未知 |
| 参考页数 | 239 |
| 出版时间 | 没有确切时间的资料 |
| ISBN号 | 007144372X — 求助条款 |
| PDF编号 | 812325788（仅供预览，未存储实际文件） |
| 求助格式 | 扫描PDF（若分多册发行，每次仅能受理1册） |
《APPLIED FORMSL VERIFICATION》由于是年代较久的资料都绝版了，几乎不可能购买到实物。如果大家为了学习确实需要，可向博主求助其电子版PDF文件。对合法合规的求助，我会当即受理并将下载地址发送给你。
高度相关资料
-
- AN INTRODUCTION TO FORMAL PROGRAM VERIFICATION
- 1985 VAN NOSTRAND REINHOLD COMPANY
-
- PROGRAMMING LOGICS AN INTERODUCTION TO VERIFICATION AND SEMANTICS
- JOHN SILEY AND SONS
-
- ATOMIC SAFEGUARDS:A STUDY IN INTERNATIONAL VERIFICATION
- 1971 UNITED NATIONS INSTITUTE FOR TRAINING AND RESEARCH
-
- FORMAL METHODS OF PROGRAM VERIFICATION AND SPECIFICATION
- 1982 PRENTICE-HALL
-
- Verification and validation in computational science and engineering
- 1998 Hermosa publishers
-
- ADVANCES IN APPLIED APPLIED MECHANICS VOLUME 33
- 1997 ACADEMIC PRESS
-
- APPLIED ECONOMETRICS
- 1993 HARPER COLLINS COLLEGE PUBLISHERS
-
- KANT‘S SOLUTION FOR VERIFICATION IN METAPHYSICS
- 1966 GEORGE ALLEN & UNWIN LTD
-
- APPLIED CHEMISTRY
- 1924 THE MACMILLAN COMPANY
提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。➥ PDF文字可复制化或转WORD