返回首页 联系帮助
Ada软件开发技术
下载此书RAR压缩包在线购买PDF电子书
王振宇，梁先忠著2001 年出版306 页ISBN：7118024147
Ada程序设计语言
殷月康，张志贤编著1990 年出版276 页ISBN：7502312153
Verification
John Wiley & Sons2010 年出版0 页ISBN：
Ada程序设计导论
张丽芬编著1992 年出版299 页ISBN：781013552X
本书共10章
Ada语言与程序设计
王振宇编著1987 年出版356 页ISBN：7307001500
Practical Design Verification
DHIRAJ K.PRADHAN2009 年出版276 页ISBN：
Ada高级程序设计语言
陶辅周等编著1993 年出版164 页ISBN：7505319523
Ada语言简明教程
（美）斯特拉特福德—科林斯（Stratford-collins，M.J.）著；麦中凡译1985 年出版219 页ISBN：15432·001
ADA语言程序设计教程
何诚，刘光富编1987 年出版565 页ISBN：15298·319
COMPLYING WITH THE ADA
JOHN WILEY & SONS1993 年出版0 页ISBN：
