薛非想读的书 >

• 

  从规范出发的程序设计

  暂无评论

  [美] Carroll Morgan | 机械工业出版社 | 2002-8

  本书详细论述了有关规范程序设计的内容，包括：程序和精化、谓词演算、选择、迭代、构造类型、模块和封装等，最后几章还包含了大量的实例研究和一些更高级的程序设计技术。本书提倡一种严格的程序开发方法，分析问题...

  计算机

  软件工程

  形式化方法

  程序

  软件开发

  我对《从规范出发的程序设计》的评价： 2017-06-08 我的标签： 修改
• 

  C安全编码标准

  8.1 (18人已评价)

  Robert C·Seacord | 机械工业出版社 | 2010-1

  本书提供了在C编程语言中进行安全编码的指导方针，描述了C语言程序中导致软件潜在风险根源的编码错误，并根据严重性、被利用的可能性以及修补成本设置了优先级。每个指导方针提供了不安全代码的例子以及安全的替代...

  C

  编程

  C语言

  安全

  c

  我对《C安全编码标准》的评价： 2017-06-08 我的标签： 修改
• 

  Objective-C基础教程

  7.3 (524人已评价)

  人民邮电出版社 | 2009-8

  Objective-C是创建MacOSX应用和iPhone应用的主要语言，优雅的面向对象编程环境与快速而普及的C语言珠联璧合，造就了它的不俗表现。翻开本书你就能感到它的魅力扑面而来。本书全面而系统地讲...

  Objective-C

  iphone

  编程

  Mac

  程序设计

  我对《Objective-C基础教程》的评价： 2017-06-08 我的标签： 修改