世界著名计算机教材精选·软件工程卷1：抽象与建模[德]比约尼尔（Dines Bjorner） 著；刘伯超、向剑文 译 正版旧书，保证质量，此书为单本而非一套，电子发票！

《软件工程卷1～3》是冯诺依曼奖章获得者、世界著名的计算机科学家DinesBjorner教授的新著作。这套丛书为读者理解软件和软件开发过程提供了一个“全新的视角”。这三卷书首次系统地论述了如何用形式方法来指导领域工程、需求工程和软件设计，即软件工程的三个相互关联并重叠的组成部分，或称之为软件工程的“三部曲”。在软件开发的各个阶段，如果都能够采用这种形式化的开发模式，将能够在极大程度上保证软件开发的正确性和有效性。 这套丛书可以被视为软件工程史上里程碑式的著作。作者通过长达30年的程序设计方法论的研究与实践，加上长达25年不断完善的课程讲义汇编成这一套前后连贯、内容一致以及相对完整的软件工程著作。这套丛书的一个显著特点就是在这三卷书中，所有的原理、技术和工具都是通过大量的案例分析来进行阐述，并

¥277.90定价：¥711.40 (3.91折)

曼新图书专营店

2010-01-01 /清华大学出版社

世界著名计算机教材精选·软件工程卷2：系统与语言规约 比约尼尔（Dines Bjorner）、刘伯超、向剑文 著 97 【速开发票，优质售后，支持7天无理由退换】

《软件工程卷2：系统与语言规约》是冯诺依曼奖章获得者、世界著名的计算机科学家DinesBjorner教授的最新著作。这套丛书为读者理解软件和软件开发过程提供了一个“全新的视角”。这三卷书首次系统地论述了如何用形式方法来指导领域工程、需求工程和软件设计，即软件工程的写个相互关联并重叠的组成部分，或称之为软件工程的“三部曲”。在软件开发的各个阶段，如果都能够采用这种形式化的开发模式，将能够在极大程度上保证软件开发的正确性和有效性。这套丛书可以被视为软件工程史上里程碑式的著作。作者通过长达30年的程序设计方法论的研究与实践，加上长达25年不断完善的课程讲义汇编成这一套前后连贯、内容一致以及相对完整的软件工程著作。这套丛书的一个显著特点就是在这三卷书中，所有的原理、技术和工具都足通过大量的案例分析来

¥194.04定价：¥476.08 (4.08折)

唯盛图书专营店

2010-01-01 /清华大学出版社

世界著名计算机教材精选·软件工程卷2：系统与语言规约 比约尼尔（Dines Bjorner）、刘伯超、向剑文 著 清 正版图书,下单速发,可开发票

《软件工程卷2：系统与语言规约》是冯诺依曼奖章获得者、世界著名的计算机科学家DinesBjorner教授的新著作。这套丛书为读者理解软件和软件开发过程提供了一个“全新的视角”。这三卷书系统地论述了如何用形式方法来指导领域工程、需求工程和软件设计，即软件工程的写个相互关联并重叠的组成部分，或称之为软件工程的“三部曲”。在软件开发的各个阶段，如果都能够采用这种形式化的开发模式，将能够在极大程度上保证软件开发的正确性和有效性。这套丛书可以被视为软件工程史上里程碑式的著作。作者通过长达30年的程序设计方法论的研究与实践，加上长达25年不断完善的课程讲义汇编成这一套前后连贯、内容一致以及相对完整的软件工程著作。这套丛书的一个显著特点就是在这三卷书中，所有的原理、技术和工具都足通过大量的案例分析来进行阐

¥392.00定价：¥785.00 (5折)

字里图书专营店

2010-01-01 /清华大学出版社