《AN INTRODUCTION TO FORMAL PROGRAM VERIFICATION》
| 作者 | ALI MILI 编者 |
|---|---|
| 出版 | VAN NOSTRAND REINHOLD COMPANY |
| 参考页数 | 291 |
| 出版时间 | 1985（求助前请核对） |
| ISBN号 | 0442263228 — 求助条款 |
| PDF编号 | 813249158（仅供预览，未存储实际文件） |
| 求助格式 | 扫描PDF（若分多册发行，每次仅能受理1册） |
1985《AN INTRODUCTION TO FORMAL PROGRAM VERIFICATION》由于是年代较久的资料都绝版了，几乎不可能购买到实物。如果大家为了学习确实需要，可向博主求助其电子版PDF文件（由ALI MILI 1985 VAN NOSTRAND REINHOLD COMPANY 出版的版本） 。对合法合规的求助，我会当即受理并将下载地址发送给你。
高度相关资料
-
- An Introduction to Formal Languages and Machine Computation
- 1998 World Scientific Publishing Co.Pte.Ltd.
-
- ENCOUNTER
- MACMILLAN
-
- PROGRAMMING LOGICS AN INTERODUCTION TO VERIFICATION AND SEMANTICS
- JOHN SILEY AND SONS
-
- AN INTRODUCTION TO SOCIOLINGUISTICS
- 1992 LONGMAN
-
- AN INTRODUCTION TO PSYCHOLGY
- 1920 HENRY HOLT AND COMPANY
-
- FORMAL METHODS OF PROGRAM VERIFICATION AND SPECIFICATION
- 1982 PRENTICE-HALL
-
- AN INTRODUCTION TO CARDIOLOGY
- 1949 EDWARD ARNOLD & CO
-
- DIGITAL SYMBOLOGY GENERATOR PROGRAM SEPTEMBER 1978
- 1978 RESEARCN AND DEVELOPMENT TECHNICAL REPORT AVIATION RESEARCH AND DEVELOPMENT COMMAND
-
- AN INTRODUCTION TO HINDUISM
- 1996 CAMBRIDGE
-
- An Introduction to Sociology
- 1942 THOMAS Y. CROWELL COMPANY
提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。➥ PDF文字可复制化或转WORD