Deductive Software Verification Future Perspectives Reflections On The Occasion - Springer Nature B.V

CN¥524.00
+ CN¥106.49 送货
  • product image

Deductive Software Verification Future Perspectives Reflections On The Occasion - Springer Nature B.V

  • 品牌: Unbranded
由……售出:

Deductive Software Verification Future Perspectives Reflections On The Occasion - Springer Nature B.V

  • 品牌: Unbranded

CN¥524.00

有货
+ CN¥106.49 送货

14天退货政策

由……售出:

CN¥524.00

有货
+ CN¥106.49 送货

14天退货政策

付款方式：

描述

Deductive Software Verification Future Perspectives Reflections On The Occasion - Springer Nature B.V

This Book Presents Reflections On The Occasion Of 20 Years On The Key Project That Focuses On Deductive Software Verification.since The Inception Of The Key Project Two Decades Ago, The Area Of Deductive Verification Has Evolved Considerably. Support For Real World Programming Languages By Deductive Program Verification Tools Has Become Prevalent. This Required To Overcome Significant Theoretical And Technical Challenges To Support Advanced Software Engineering And Programming Concepts.
  • 品牌: Unbranded
  • 类别: 计算机与互联网
  • 语言: English
  • 作者: Springer Nature B.V
  • 页数: 352
  • 出版社／标签: Springer Nature B.V
  • 格式: Paperback
  • Fruugo ID: 469765961-983720897
  • ISBN: 9783030643539

送货

在 24 小时内发货

  • STANDARD: CN¥106.49 - 之间的交付 周一 20 七月 2026–周五 24 七月 2026

从 英国 送货。

退货

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

查看完整的退货政策

产品合规详细信息

请参阅下面概述的针对该产品的合规性信息。

以下信息由销售该产品的独立第三方零售商提供。

制造商：
以下信息概述了在Fruugo销售的相关产品的制造商联系信息。

  • Springer Nature B.V
  • Springer Nature B.V
  • Van Godewijckstraat 30
  • Dordrecht
  • NL
  • 3311 GX
  • [email protected]
  • https://springernature.com

欧盟负责人：
以下信息概述了欧盟负责人的联系信息。该负责人是位于欧盟的指定经济运营者，负责有关销售到欧盟的相关产品的合规义务。

  • Lightning Source France
  • Springer Nature B.V
  • 1 Av. Johannes Gutenberg
  • Maurepas
  • FR
  • 78310
  • [email protected]
  • https://www.ingramcontent.com/pod-product-compliance