Dependable Software Engineering Theories Tools And Applications First Inte - Springer Nature B.V

CN¥459.00
+ CN¥106.49 送货

Dependable Software Engineering Theories Tools And Applications First Inte - Springer Nature B.V

  • 品牌: Unbranded
由……售出:

Dependable Software Engineering Theories Tools And Applications First Inte - Springer Nature B.V

  • 品牌: Unbranded

CN¥459.00

有货
+ CN¥106.49 送货

14天退货政策

由……售出:

CN¥459.00

有货
+ CN¥106.49 送货

14天退货政策

付款方式:

描述

Dependable Software Engineering Theories Tools And Applications First Inte - Springer Nature B.V

This Book Constitutes The Refereed Proceedings Of The First International Symposium On Dependable Software Engineering: Theories, Tools, And Applications, Setta 2015, Held In Nanjing, China, In November 2015. The 20 Full Papers Presented Together With 3 Invited Talks Were Carefully Reviewed And Selected From 60 Submissions.the Papers Are Organized On Topical Sections On Probabilistic Systems; Hybrid And Cyber-physical Systems; Testing, Simulation And Inference; Bisimulation And Correctness; Design And Implementation; Symbolic Execution And Invariants; And Verification And Case Studies.
  • 品牌: Unbranded
  • 类别: 计算机与互联网
  • 语言: English
  • 作者: Springer Nature B.V
  • 页数: 340
  • 出版社/标签: Springer Nature B.V
  • 格式: Paperback
  • Fruugo ID: 469774504-983729422
  • ISBN: 9783319259413

送货

在 24 小时内发货

  • STANDARD: CN¥106.49 - 之间的交付 周五 19 六月 2026–周四 25 六月 2026

从 英国 送货。

退货

我们会争取将您订购的产品按照您的规格完整地配送给您。不过,万一您收到不完整的订单,或收到的产品与您订购的不同,或者有其他原因让您对订单不满意,您可以要求全部或部分退货,您将收到相应产品的全额退款。

查看完整的退货政策