编程原本
一键收藏,随时查看,分享好友!
编程原本    裘宗燕 译
本书将严格的数学定义、公理化和演绎方法应用于程序设计,讨论程序与保证它们能正确工作的抽象数学理论之间的联系、书中把理论的规程、基于这些写出的算法,以及描述算法性质的引理和定理一起呈现给读者,以帮助我们将复杂系统分解为一些具有特定行为的组件。
本书适合软件开发人员和需要进行程序设计的科学家及工程师阅读,也可供高等院校计算机及相关专业的师生参考。
出版社:机械工业出版社 出版日期:2011年12月 ISBN:978-7-111-36729-1 定 价:59.00元
关键字: 编程  编程原本  
免责声明:图书版权归出版社和作者所有,51CTO.com 仅提供试读
随便说两句
留言共
匿名发表 验证码: (点击进行更换)
作译者简介
裘宗燕 译
  
本作者其他图书
相关图书
   作者:火烈鸟网络科技
  本书以《捕鱼达人》游戏为案例,全面系统地讲解了Cocos2d-x 的功能与特性,以及进行游戏开发的基本思路,包括游戏框架
·Swifter: 100 个Swift开发必备Tip
·Python 3程序开发指南(第二版)
·自己动手写搜索引擎
·Python自动化运维:技术与最佳实践
·魔兽世界编程宝典--World of Warcraf
相关技术专题

51CTO旗下网站

领先的IT技术网站 51CTO 中国首个CIO网站 CIOage 中国首家数字医疗网站 HC3i 51CTO学院