软件可靠性方法 Doron A.Peled 机械工业出版社 9787111365532
¥38.00定价：¥38.00
软件可靠性方法 Doron A.Peled 著；王林章 译【速开发票，优质售后，支持7天无理由退换】 【正版】
《软件可靠性方法》通过大量的形式化表示和技术，向读者提供了各种用于提高软件可靠性的形式化方法，包括演绎验证、自动验证、测试以及进程代数。书中紧紧围绕逻辑和自动机理论这条主线，比较了各种方法的不同之处，并讨论了它们的优缺点。 书中包含一些在多个章节中使用的、具有连续性的实例，有利于读者通过跟踪这些实例来了解不同形式化方法的优缺点。本书还包括大量的练习和项目，可以使用软件可靠性工具来完成。 本书适用于从事软件开发的广大读者，尤其适合作为高年级本科生和硕士生的教材和参考书。
¥72.66定价：¥225.32 (3.23折)
软件可靠性方法 Doron A.Peled 著；王林章 译 9787111365532 机械工业出版社 【速开发票，优质售后，支持7天无理由退换】
《软件可靠性方法》通过大量的形式化表示和技术，向读者提供了各种用于提高软件可靠性的形式化方法，包括演绎验证、自动验证、测试以及进程代数。书中紧紧围绕逻辑和自动机理论这条主线，比较了各种方法的不同之处，并讨论了它们的优缺点。 书中包含一些在多个章节中使用的、具有连续性的实例，有利于读者通过跟踪这些实例来了解不同形式化方法的优缺点。本书还包括大量的练习和项目，可以使用软件可靠性工具来完成。 本书适用于从事软件开发的广大读者，尤其适合作为高年级本科生和硕士生的教材和参考书。
¥57.00定价：¥114.00 (5折)
软件可靠性方法 Doron A.Peled 著；王林章 译 9787111365532 机械工业出版社 【速开发票，优质售后，支持7天无理由退换】
《软件可靠性方法》通过大量的形式化表示和技术，向读者提供了各种用于提高软件可靠性的形式化方法，包括演绎验证、自动验证、测试以及进程代数。书中紧紧围绕逻辑和自动机理论这条主线，比较了各种方法的不同之处，并讨论了它们的优缺点。 书中包含一些在多个章节中使用的、具有连续性的实例，有利于读者通过跟踪这些实例来了解不同形式化方法的优缺点。本书还包括大量的练习和项目，可以使用软件可靠性工具来完成。 本书适用于从事软件开发的广大读者，尤其适合作为高年级本科生和硕士生的教材和参考书。
¥47.05定价：¥96.50 (4.88折)
软件可靠性方法Doron A.Peled 著；王林章 译机械工业出版社9787111365532 正版旧书，保证质量，此书为单本而非一套，电子发票！
《软件可靠性方法》通过大量的形式化表示和技术，向读者提供了各种用于提高软件可靠性的形式化方法，包括演绎验证、自动验证、测试以及进程代数。书中紧紧围绕逻辑和自动机理论这条主线，比较了各种方法的不同之处，并讨论了它们的优缺点。 书中包含一些在多个章节中使用的、具有连续性的实例，有利于读者通过跟踪这些实例来了解不同形式化方法的优缺点。本书还包括大量的练习和项目，可以使用软件可靠性工具来完成。 本书适用于从事软件开发的广大读者，尤其适合作为高年级本科生和硕士生的教材和参考书。
¥63.00定价：¥223.60 (2.82折)
软件可靠性方法 Doron A.Peled 著；王林章 译 机械工业出版社 【速开发票，此书为单本而非一套，支持7天无理由退换】
《软件可靠性方法》通过大量的形式化表示和技术，向读者提供了各种用于提高软件可靠性的形式化方法，包括演绎验证、自动验证、测试以及进程代数。书中紧紧围绕逻辑和自动机理论这条主线，比较了各种方法的不同之处，并讨论了它们的优缺点。 书中包含一些在多个章节中使用的、具有连续性的实例，有利于读者通过跟踪这些实例来了解不同形式化方法的优缺点。本书还包括大量的练习和项目，可以使用软件可靠性工具来完成。 本书适用于从事软件开发的广大读者，尤其适合作为高年级本科生和硕士生的教材和参考书。
¥44.35定价：¥89.10 (4.98折)
软件可靠性方法 Doron A.Peled 著；王林章 译 9787111365532 机械工业出版社【放心购买】 【速开发票，优质售后，支持7天无理由退换】
《软件可靠性方法》通过大量的形式化表示和技术，向读者提供了各种用于提高软件可靠性的形式化方法，包括演绎验证、自动验证、测试以及进程代数。书中紧紧围绕逻辑和自动机理论这条主线，比较了各种方法的不同之处，并讨论了它们的优缺点。 书中包含一些在多个章节中使用的、具有连续性的实例，有利于读者通过跟踪这些实例来了解不同形式化方法的优缺点。本书还包括大量的练习和项目，可以使用软件可靠性工具来完成。 本书适用于从事软件开发的广大读者，尤其适合作为高年级本科生和硕士生的教材和参考书。
¥37.50定价：¥76.00 (4.94折)
软件可靠性方法 Doron A.Peled 著；王林章 译 9787111365532 机械工业出版社 正版图书,下单速发,可开发票
《软件可靠性方法》通过大量的形式化表示和技术，向读者提供了各种用于提高软件可靠性的形式化方法，包括演绎验证、自动验证、测试以及进程代数。书中紧紧围绕逻辑和自动机理论这条主线，比较了各种方法的不同之处，并讨论了它们的优缺点。书中包含一些在多个章节中使用的、具有连续性的实例，有利于读者通过跟踪这些实例来了解不同形式化方法的优缺点。本书还包括大量的练习和项目，可以使用软件可靠性工具来完成。本书适用于从事软件开发的广大读者，尤其适合作为高年级本科生和硕士生的教材和参考书。
¥92.06定价：¥185.12 (4.98折)
软件可靠性方法 Doron A.Peled 著；王林章 译【正版】 【速开发票，优质售后，支持7天无理由退换】
《软件可靠性方法》通过大量的形式化表示和技术，向读者提供了各种用于提高软件可靠性的形式化方法，包括演绎验证、自动验证、测试以及进程代数。书中紧紧围绕逻辑和自动机理论这条主线，比较了各种方法的不同之处，并讨论了它们的优缺点。 书中包含一些在多个章节中使用的、具有连续性的实例，有利于读者通过跟踪这些实例来了解不同形式化方法的优缺点。本书还包括大量的练习和项目，可以使用软件可靠性工具来完成。 本书适用于从事软件开发的广大读者，尤其适合作为高年级本科生和硕士生的教材和参考书。
¥55.74定价：¥199.48 (2.8折)
软件可靠性方法 Doron A.Peled 著；王林章 译 9787111365532 机械工业出版社【达额立减】 【速开发票，优质售后，支持7天无理由退换】
《软件可靠性方法》通过大量的形式化表示和技术，向读者提供了各种用于提高软件可靠性的形式化方法，包括演绎验证、自动验证、测试以及进程代数。书中紧紧围绕逻辑和自动机理论这条主线，比较了各种方法的不同之处，并讨论了它们的优缺点。 书中包含一些在多个章节中使用的、具有连续性的实例，有利于读者通过跟踪这些实例来了解不同形式化方法的优缺点。本书还包括大量的练习和项目，可以使用软件可靠性工具来完成。 本书适用于从事软件开发的广大读者，尤其适合作为高年级本科生和硕士生的教材和参考书。
¥37.50定价：¥76.00 (4.94折)
软件可靠性方法 Doron A.Peled ,王林章 机械工业出版社【可开电子发票】 【正品保证，进入店铺更多优惠！】
¥56.14定价：¥122.28 (4.6折)
¥93.06定价：¥187.12 (4.98折)
《软件可靠性方法》编辑推荐：集中介绍目前常用的重要软件可靠性方法，并将它们互作比较，这些方法包括：演绎验证、自动验证、测试和进程代数，为具体项目的软件选择过程提供有用信息，提供了大量的练习、项目和连续性的实例，方便读者学习形式化方法并能够亲手使用这些工具介绍了支持形式化方法的数学原理，对于该领域未来的研究方向，以及开发新方法和改进现有技术提出了有益的见解。
¥72.66定价：¥225.32 (3.23折)
软件可靠性方法 Doron APeled 著,王林章 等 译 机械工业出版社【放心购买】 正版现货,支持七天无理由退货,下单前请咨询客服查看书籍情况。
¥34.00定价：¥70.00 (4.86折)
软件可靠性方法 Doron A.Peled 著,王林章 等 译 机械工业出版社【达额立减】 正版图书，下单前请先咨询客服，欢迎选购！
¥56.14定价：¥122.28 (4.6折)
【预订】Runtime Verification: 9th International Workshop, RV 美国库房发货，通常付款后3-5周到货！
¥608.00
《软件可靠性方法》编辑推荐：集中介绍目前常用的重要软件可靠性方法，并将它们互作比较，这些方法包括：演绎验证、自动验证、测试和进程代数，为具体项目的软件选择过程提供有用信息，提供了大量的练习、项目和连续性的实例，方便读者学习形式化方法并能够亲手使用这些工具介绍了支持形式化方法的数学原理，对于该领域未来的研究方向，以及开发新方法和改进现有技术提出了有益的见解。
¥72.66定价：¥225.32 (3.23折)
《软件可靠性方法》编辑：集中介绍目前常用的重要软件可靠性方法，并将它们互作比较，这些方法包括：演绎验证、自动验证、测试和进程代数，为具体项目的软件选择过程提供有用信息，提供了大量的练习、项目和连续性的实例，方便读者学习形式化方法并能够亲手使用这些工具介绍了支持形式化方法的数学原理，对于该领域未来的研究方向，以及开发新方法和改进现有技术提出了有益的见解。
¥62.00定价：¥125.00 (4.96折)
软件可靠性方法 【速开发票，此书为单本而非一套，支持7天无理由退换】
《软件可靠性方法》通过大量的形式化表示和技术，向读者提供了各种用于提高软件可靠性的形式化方法，包括演绎验证、自动验证、测试以及进程代数。书中紧紧围绕逻辑和自动机理论这条主线，比较了各种方法的不同之处，并讨论了它们的优缺点。 书中包含一些在多个章节中使用的、具有连续性的实例，有利于读者通过跟踪这些实例来了解不同形式化方法的优缺点。本书还包括大量的练习和项目，可以使用软件可靠性工具来完成。 本书适用于从事软件开发的广大读者，尤其适合作为高年级本科生和硕士生的教材和参考书。
¥63.51定价：¥128.02 (4.97折)
¥62.00定价：¥125.00 (4.96折)
软件可靠性方法 Doron A.Peled 著,王林章 等 译 机械工业出版社【正版书籍】 【热销推荐，正版现货，全国三仓就近发货，物流快捷，欢迎选购！】
《软件可靠性方法》编辑：集中介绍目前常用的重要软件可靠性方法，并将它们互作比较，这些方法包括：演绎验证、自动验证、测试和进程代数，为具体项目的软件选择过程提供有用信息，提供了大量的练习、项目和连续性的实例，方便读者学习形式化方法并能够亲手使用这些工具介绍了支持形式化方法的数学原理，对于该领域未来的研究方向，以及开发新方法和改进现有技术提出了有益的见解。
¥56.56定价：¥120.96 (4.68折)
软件可靠性方法 Doron A.Peled 王林章 等 译 机械工业出版社【可开电子发票】 【正品保证，进入店铺更多优惠！】
¥56.14定价：¥122.28 (4.6折)
软件可靠性方法 【正版】 【店主推荐，正版书放心购买，可开发票】
《软件可靠性方法》通过大量的形式化表示和技术，向读者提供了各种用于提高软件可靠性的形式化方法，包括演绎验证、自动验证、测试以及进程代数。书中紧紧围绕逻辑和自动机理论这条主线，比较了各种方法的不同之处，并讨论了它们的优缺点。书中包含一些在多个章节中使用的、具有连续性的实例，有利于读者通过跟踪这些实例来了解不同形式化方法的优缺点。本书还包括大量的练习的和项目，可以使用软件可靠性工具来完成。本书适用于从事软件开发的广大读者，尤其适合作为高年级本科生和硕士生的教材和参考书。
¥55.60定价：¥196.29 (2.84折)
¥72.66定价：¥225.32 (3.23折)
¥94.56定价：¥190.12 (4.98折)
《软件可靠性方法》编辑推荐：集中介绍目前常用的重要软件可靠性方法，并将它们互作比较，这些方法包括：演绎验证、自动验证、测试和进程代数，为具体项目的软件选择过程提供有用信息，提供了大量的练习、项目和连续性的实例，方便读者学习形式化方法并能够亲手使用这些工具介绍了支持形式化方法的数学原理，对于该领域未来的研究方向，以及开发新方法和改进现有技术提出了有益的见解。
¥82.66定价：¥245.32 (3.37折)
¥93.06定价：¥187.12 (4.98折)
《软件可靠性方法》编辑推荐：集中介绍目前常用的重要软件可靠性方法，并将它们互作比较，这些方法包括：演绎验证、自动验证、测试和进程代数，为具体项目的软件选择过程提供有用信息，提供了大量的练习、项目和连续性的实例，方便读者学习形式化方法并能够亲手使用这些工具介绍了支持形式化方法的数学原理，对于该领域未来的研究方向，以及开发新方法和改进现有技术提出了有益的见解。
¥72.66定价：¥225.32 (3.23折)
软件可靠性方法【达额立减】 线上线下同步销售，请咨询客服查询库存后下单，避免纠纷。
《软件可靠性方法》通过大量的形式化表示和技术，向读者提供了各种用于提高软件可靠性的形式化方法，包括演绎验证、自动验证、测试以及进程代数。书中紧紧围绕逻辑和自动机理论这条主线，比较了各种方法的不同之处，并讨论了它们的优缺点。 书中包含一些在多个章节中使用的、具有连续性的实例，有利于读者通过跟踪这些实例来了解不同形式化方法的优缺点。本书还包括大量的练习和项目，可以使用软件可靠性工具来完成。 本书适用于从事软件开发的广大读者，尤其适合作为高年级本科生和硕士生的教材和参考书。
¥39.00定价：¥88.00 (4.44折)
¥62.00定价：¥125.00 (4.96折)
软件可靠性方法 【正版】 【店主推荐，正版书放心购买，可开发票】
《软件可靠性方法》通过大量的形式化表示和技术，向读者提供了各种用于提高软件可靠性的形式化方法，包括演绎验证、自动验证、测试以及进程代数。书中紧紧围绕逻辑和自动机理论这条主线，比较了各种方法的不同之处，并讨论了它们的优缺点。书中包含一些在多个章节中使用的、具有连续性的实例，有利于读者通过跟踪这些实例来了解不同形式化方法的优缺点。本书还包括大量的练习的和项目，可以使用软件可靠性工具来完成。本书适用于从事软件开发的广大读者，尤其适合作为高年级本科生和硕士生的教材和参考书。
¥56.40定价：¥196.23 (2.88折)
模型检测 D.A.佩莱德（Doron A. Peled） 著；[美]E.M.克拉克（Edmund M. Clarke J 【速开发票，优质售后，支持7天无理由退换】
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书涵盖的内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver、限界模型检测、自动机上的模型检测、抽象解释、程序分析、实时系统验证，同时介绍NuSMV和UPPAAL两个流行的模型检测器。
¥202.50定价：¥406.00 (4.99折)
模型检测 D.A.佩莱德（Doron A. Peled） 著；[美]E.M.克拉克（Edmund M. Clarke J 正版图书,下单速发,可开发票
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书涵盖的内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver、限界模型检测、自动机上的模型检测、抽象解释、程序分析、实时系统验证，同时介绍NuSMV和UPPAAL两个流行的模型检测器。
¥391.00定价：¥783.00 (5折)
模型检测D.A.佩莱德（Doron A. Peled） 著；[美]E.M.克拉克（Edmund M. Clarke Jr 正版旧书，保证质量，此书为单本而非一套，电子发票！
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书涵盖的内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver、限界模型检测、自动机上的模型检测、抽象解释、程序分析、实时系统验证，同时介绍NuSMV和UPPAAL两个流行的模型检测器。
¥44.00定价：¥191.00 (2.31折)
模型检测 D.A.佩莱德（Doron A. Peled） 著；[美]E.M.克拉克（Edmund M. Clarke J 正版图书,下单速发,可开发票
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书涵盖的内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver、限界模型检测、自动机上的模型检测、抽象解释、程序分析、实时系统验证，同时介绍NuSMV和UPPAAL两个流行的模型检测器。
¥389.00定价：¥779.00 (5折)
模型检测 D.A.佩莱德（Doron A. Peled） 著；[美]E.M.克拉克（Edmund M. Clarke J 【速开发票，优质售后，支持7天无理由退换】
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书涵盖的内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver、限界模型检测、自动机上的模型检测、抽象解释、程序分析、实时系统验证，同时介绍NuSMV和UPPAAL两个流行的模型检测器。
¥202.50定价：¥406.00 (4.99折)
模型检测 D.A.佩莱德（Doron A. Peled） 著；[美]E.M.克拉克（Edmund M. Clarke J 【速开发票，优质售后，支持7天无理由退换】
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书涵盖的内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver、限界模型检测、自动机上的模型检测、抽象解释、程序分析、实时系统验证，同时介绍NuSMV和UPPAAL两个流行的模型检测器。
¥68.80定价：¥225.60 (3.05折)
模型检测 【速开发票，此书为单本而非一套，支持7天无理由退换】
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书涵盖的内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver、限界模型检测、自动机上的模型检测、抽象解释、程序分析、实时系统验证，同时介绍NuSMV和UPPAAL两个流行的模型检测器。
¥39.60定价：¥80.20 (4.94折)
模型检测【正版书籍】 线上线下同步销售，请咨询客服查询库存后下单，避免纠纷。
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书涵盖的内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver、限界模型检测、自动机上的模型检测、抽象解释、程序分析、实时系统验证，同时介绍NuSMV和UPPAAL两个流行的模型检测器。
¥284.80定价：¥579.60 (4.92折)
模型检测【售后无忧】 线上线下同步销售，请咨询客服查询库存后下单，避免纠纷。
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书涵盖的内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver、限界模型检测、自动机上的模型检测、抽象解释、程序分析、实时系统验证，同时介绍NuSMV和UPPAAL两个流行的模型检测器。
¥336.00定价：¥682.00 (4.93折)
模型检测 D.A.佩莱德（Doron A. Peled） 著；[美]E.M.克拉克（Edmund M. Clarke J 【速开发票，优质售后，支持7天无理由退换】
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书涵盖的内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver、限界模型检测、自动机上的模型检测、抽象解释、程序分析、实时系统验证，同时介绍NuSMV和UPPAAL两个流行的模型检测器。
¥500.00定价：¥1088 (4.6折)
预订 Photo-Excited Processes, Diagnostics and Applic [ISBN:978 【全球购】进口原版图书，一般5-8周左右到国内
¥645.00
预订 Photo-Excited Processes, Diagnostics and Applications: Fu 【全球购】进口原版图书，一般5-8周左右到国内
¥654.00
海外直订Photo-Excited Processes, Diagnostics and Applications: F
¥553.00
海外直订Photo-Excited Processes, Diagnostics and Applications: F
¥553.00
海外直订Formal Techniques for Networked and Distributed Systems
¥553.00
3-6周达 Formal Techniques for Networked and Distributed System 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥646.00
【3-6周达】Model Checking and Artificial Intelligence: 5th Inter 【全球购】进口原版图书，预计3-6周左右到国内
¥507.00
海外直订Model Checking and Artificial Intelligence: 5th Internat
¥553.00
软件可靠性方法 Doron A.Peled 著,王林章 等 译 机械工业出版社【正版保证】 全国三仓发货，物流便捷，下单秒杀，欢迎选购！
¥38.00定价：¥87.00 (4.37折)
¥91.00定价：¥183.00 (4.98折)
软件可靠性方法 Doron A.Peled 著,王林章 等 译 机械工业出版社【正版】 全国三仓发货，物流便捷，下单秒杀，欢迎选购！
¥41.00定价：¥89.00 (4.61折)
软件可靠性方法Doron A.Peled机械工业出版社【现货实拍 可开发票 下单速发 正版图书】 代寻稀缺书老书，有问题可联系在线客服15011482491
¥80.00定价：¥240.00 (3.34折)
软件可靠性方法 Doron A.Peled 著,王林章 等 译 机械工业出版社【正版】 全国三仓发货，物流便捷，下单秒杀，欢迎选购！
¥38.00定价：¥87.00 (4.37折)
¥62.00定价：¥125.00 (4.96折)
软件可靠性方法（图灵奖得主Clarke作序、北大南大教授联袂推荐，软件形式化方法经典著作）
¥31.00定价：¥45.00 (6.89折)
2004年第2届国际验证与分析的自动化技术会议录Automated Technology for Verificatio
The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the R&D community,with numerous individuals, as well as with prestigious organizations and societies, LNCS has grown into the most comprehensive computer science research forum available. The scope of LNCS, including its subseries LNAI and LNBI, spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields. The type of material published traditionally includes -proceedings (published in time for the respective conference) -post-proceedings (consisting of thoroughly revised final full papers) -research monographs (which may be based on outstanding PhD work,research projects, technical reports, etc.)
¥636.40
