Program Verification Using AdaPDF电子书下载
- 电子书积分：12 积分如何计算积分？
- 作 者：
- 出 版 社：Cambridge University Press
- 出版年份：1982
- ISBN：0521285313
- 页数：345 页
图书介绍：
《Program Verification Using Ada》目录
标签：
相关图书
作者其它书籍
出版社其它书籍
- 《中国“80后”大学教师胜任力评价研究＝RESEARCH ON THE EVALUATION OF CHINA'S POST 80s GENERATION UNIVERSITY TEACHERS' CO》黄艳著 2013
- 《解读好莱坞：电影的空间与意义》Deborah Thomas著；李达义，曹玉玲译 2004
- 《会说话的星图 星座篇》徐历涛著 2014
- 《可靠性工程与风险管理 第3辑 英文版》赵衍刚编 2012
- 《竞争战略 全译珍藏版》（美）迈克尔·波特（Michael E. Porter）著 2012
- 《中国材料名师讲坛 第1辑》谢建新主编 2012
- 《翻译能力的培养》舍夫娜，阿达巴编 2012
- 《大学生外语口语焦虑 自我图式的视角 for university students: in the view of self-schema》巫文胜著 2014
- 《都柏林大学的教育内涵与实践 探索世界高水平大学发展之路 explore the development of the world high-level university》李全宏编著 2013
- 《物理学 卷1 力学和热学 医学、生物等专业适用 英文改编版原书第4版》AlanGiambattista，BettyMcCarthyRichardson著 2013