张国栋主编2009 年出版487 页ISBN：9787112108862
本书按照《全国统一市政工程预算定额》的章节，结合《建设工程工程量清单计价规范》（GB50500－2008）中“建筑工程工程量清单项目及计算规则”，以一例一图一解的方式，对市政工程各分部分项的工程量计算方法作了较详...
李莹，吴江琴著2010 年出版200 页ISBN：9787308066679
本书第一部分介绍了Z语言的背景知识，包括集合论和一阶谓词演算等概念及其形式化表达方法；第二部分介绍了Z语言构成及其规格说明的结构化，引入求精理论；第三部分介绍了Martin-Lof类型理论，及其规则定义和推导演算...
陈建村著2013 年出版343 页ISBN：9787302310631
本书凝聚作者从事软件开发十多年来的思考与实践，从8个方面说明了如何从传统的瀑布开发过渡到敏捷开发。作者以诙谐幽默的文笔，于谈笑间揭示软件开发的现状，探讨Scrum的组成，解释何为精益，剖析软件工程的全新思维...
