《PROGRAM VERIFICATION USING ADA》
| 作者 | ANDREW D.MCGETTRICK 编者 | 
|---|---|
| 出版 | 未查询到或未知 | 
| 参考页数 | |
| 出版时间 | 1982(求助前请核对) | 
| ISBN号 | 无 — 求助条款 | 
| PDF编号 | 820296868(仅供预览,未存储实际文件) | 
| 求助格式 | 扫描PDF(若分多册发行,每次仅能受理1册) | 
 
1982《PROGRAM VERIFICATION USING ADA》由于是年代较久的资料都绝版了,几乎不可能购买到实物。如果大家为了学习确实需要,可向博主求助其电子版PDF文件。对合法合规的求助,我会当即受理并将下载地址发送给你。
高度相关资料
- 
  
- Ada o el ardor
- 1969 Anagrama
- 
  
- ATOMIC SAFEGUARDS:A STUDY IN INTERNATIONAL VERIFICATION
- 1971 UNITED NATIONS INSTITUTE FOR TRAINING AND RESEARCH
- 
  
- ADA 语言
- 1987年07月第1版 宇航出版社
- 
  
- FORMAL METHODS OF PROGRAM VERIFICATION AND SPECIFICATION
- 1982 PRENTICE-HALL
- 
  
- INVITATION TO ADA ADA REFERENCE MANUAL JULY 1980
- 1982 PETROCELLI BOOKS,INC.
- 
  
- AN INTRODUCTION TO FORMAL PROGRAM VERIFICATION
- 1985 VAN NOSTRAND REINHOLD COMPANY
- 
  
- STEPPING INTO CAD A Technical Drafting Workbook Using The AutoCAD TM Microcomputer Program
- 1986 New Riders Publishing
提示:百度云已更名为百度网盘(百度盘),天翼云盘、微盘下载地址……暂未提供。➥ PDF文字可复制化或转WORD






