Building high integrity applications with SPARKPDF电子书下载
- 电子书积分：13 积分如何计算积分？
- 作 者：John W. McCormick ; Peter C. Chapin
- 出 版 社：Cambridge University Press
- 出版年份：2015
- ISBN：1107040731
- 页数：368 页
图书介绍：
《Building high integrity applications with SPARK》目录
标签：
相关图书
作者其它书籍
- 《古代巴比伦》（英）莱昂纳德·W.金著 2019
- 《数据失控》（美）约翰·切尼-利波尔德（John Cheney-Lippold）著 2019
- 《超级思维》任烨译；（美国）托马斯·W.马隆 2019
- 《悲观的智者》（美）彼得·刘易斯（Peter B.Lewis）著 2019
- 《精工制造》（意）皮特·鲁赫（Peter Ruch）编著 2018
- 《深奥的简洁》（英）约翰·格里宾（John Gribbin）著 2020
- 《魔符》（美）斯蒂芬·金（Stephen King），（美）彼得·斯陶伯（Peter Straub）著 2013
- 《铸造手册大全 金属铸造工艺、冶金技术和设计 第6册 熔炼·造型·铸造·凝固》John Campbell主编 2018
- 《中国能否拯救世界？》（波兰）格泽高滋·W.科勒德克 2020
- 《深度学习图解》（美）安德鲁·特拉斯克（Andrew W. Trask）著；王晓雷 2020
出版社其它书籍
- 《中国“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