【预订】Software Engineering 2: Specification of Systems and 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Perspectives of System Informatics: 4th 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Software Engineering 3: Domains, Requirements, and 美国库房发货，通常付款后3-5周到货！
¥1339
世界著名计算机教材精选·软件工程卷1：抽象与建模[德]比约尼尔（Dines Bjorner） 著；刘伯超、向剑文 译 正版旧书，保证质量，此书为单本而非一套，电子发票！
《软件工程卷1～3》是冯诺依曼奖章获得者、世界著名的计算机科学家DinesBjorner教授的新著作。这套丛书为读者理解软件和软件开发过程提供了一个“全新的视角”。这三卷书首次系统地论述了如何用形式方法来指导领域工程、需求工程和软件设计，即软件工程的三个相互关联并重叠的组成部分，或称之为软件工程的“三部曲”。在软件开发的各个阶段，如果都能够采用这种形式化的开发模式，将能够在极大程度上保证软件开发的正确性和有效性。 这套丛书可以被视为软件工程史上里程碑式的著作。作者通过长达30年的程序设计方法论的研究与实践，加上长达25年不断完善的课程讲义汇编成这一套前后连贯、内容一致以及相对完整的软件工程著作。这套丛书的一个显著特点就是在这三卷书中，所有的原理、技术和工具都是通过大量的案例分析来进行阐述，并
¥277.90定价：¥711.40 (3.91折)
【预订】Software Engineering 1: Abstraction and Modelling Y97836 美国库房发货，通常付款后3-5周到货！
¥1035
【预订】Software Engineering 1: Abstraction and Modelling Y97835 美国库房发货，通常付款后3-5周到货！
¥1217
海外直订Software Engineering 3: Domains, Requirements, and Softw
¥1180
3-6周达 Logics of Specification Languages [ISBN:9783540741060] 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥1514
【3-6周达】Software Engineering 3: Domains, Requirements, and So 【全球购】进口原版图书，预计3-6周左右到国内
¥1010
【3-6周达】Software Engineering 1: Abstraction and Modelling [IS 【全球购】进口原版图书，预计3-6周左右到国内
¥1010
3-6周达 Software Engineering 2: Specification of Systems and L 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
3-6周达 Software Engineering 3: Domains, Requirements, and Sof 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥1111
海外直订Software Engineering 3: Domains, Requirements, and Softw
¥961.00
【3-6周达】Software Engineering 2: Specification of Systems and 【全球购】进口原版图书，预计3-6周左右到国内
¥507.00
预订 Perspectives of System Informatics: 4th International And 【全球购】进口原版图书，一般5-8周左右到国内
¥653.00
3-6周达 Software Engineering 1: Abstraction and Modelling [ISB 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥859.00
海外直订Software Engineering 1: Abstraction and Modelling 软件工程1：
¥961.00
世界著名计算机教材精选·软件工程卷2：系统与语言规约 比约尼尔（Dines Bjorner）、刘伯超、向剑文 著 97 【速开发票，优质售后，支持7天无理由退换】
《软件工程卷2：系统与语言规约》是冯诺依曼奖章获得者、世界著名的计算机科学家DinesBjorner教授的最新著作。这套丛书为读者理解软件和软件开发过程提供了一个“全新的视角”。这三卷书首次系统地论述了如何用形式方法来指导领域工程、需求工程和软件设计，即软件工程的写个相互关联并重叠的组成部分，或称之为软件工程的“三部曲”。在软件开发的各个阶段，如果都能够采用这种形式化的开发模式，将能够在极大程度上保证软件开发的正确性和有效性。这套丛书可以被视为软件工程史上里程碑式的著作。作者通过长达30年的程序设计方法论的研究与实践，加上长达25年不断完善的课程讲义汇编成这一套前后连贯、内容一致以及相对完整的软件工程著作。这套丛书的一个显著特点就是在这三卷书中，所有的原理、技术和工具都足通过大量的案例分析来
¥194.04定价：¥476.08 (4.08折)
世界著名计算机教材精选·软件工程卷2：系统与语言规约 比约尼尔（Dines Bjorner）、刘伯超、向剑文 著 清 正版图书,下单速发,可开发票
《软件工程卷2：系统与语言规约》是冯诺依曼奖章获得者、世界著名的计算机科学家DinesBjorner教授的新著作。这套丛书为读者理解软件和软件开发过程提供了一个“全新的视角”。这三卷书系统地论述了如何用形式方法来指导领域工程、需求工程和软件设计，即软件工程的写个相互关联并重叠的组成部分，或称之为软件工程的“三部曲”。在软件开发的各个阶段，如果都能够采用这种形式化的开发模式，将能够在极大程度上保证软件开发的正确性和有效性。这套丛书可以被视为软件工程史上里程碑式的著作。作者通过长达30年的程序设计方法论的研究与实践，加上长达25年不断完善的课程讲义汇编成这一套前后连贯、内容一致以及相对完整的软件工程著作。这套丛书的一个显著特点就是在这三卷书中，所有的原理、技术和工具都足通过大量的案例分析来进行阐
¥392.00定价：¥785.00 (5折)
