Program Verification Using Ada

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

1982 年出版345 页ISBN：0521285313

AN INTRODUCTION TO FORMAL PROGRAM VERIFICATION

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

ALI MILI1985 年出版291 页ISBN：0442263228

Data Structures and Algorithms An Object-Oriented Approach Using Ada 95

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

1997 年出版364 页ISBN：0387948341

STEPPING INTO CAD A Technical Drafting Workbook Using The AutoCAD TM Microcomputer Program

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

1986 年出版256 页ISBN：0934035059

ADA导引 程序设计语言ADA参考手册 美国国家标准/军用标准

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

（美）莱德加，H.著，袁崇义，徐泽同译1986 年出版436 页ISBN：7030014022

ADA〓导引、程序设计语言ADA参考手册 美国国家标准／等用标准

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

（美）莱德加德（Ledgard，H.）著；袁崇义，徐泽同译1986 年出版436 页ISBN：15031·690

Ada 95入门

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

杨桃栏，胡子昂，吴海平，罗红兵等编1999 年出版226 页ISBN：7810245422

ADA程序设计

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

（美）巴恩斯著；娄宾译1990 年出版324 页ISBN：7040020068

Ada程序设计

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

孙乐昌，梁亚声等编译1991 年出版270 页ISBN：7312002854

ADA语言

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

万达编译1987 年出版235 页ISBN：15244·0097