Computer Aided Verification by Edited by Aarti Gupta & Edited by Sharad Malik

CN¥1,599.00
+ CN¥105.99 送货

Computer Aided Verification by Edited by Aarti Gupta & Edited by Sharad Malik

  • 品牌: Unbranded
  • product image

Computer Aided Verification by Edited by Aarti Gupta & Edited by Sharad Malik

  • 品牌: Unbranded
价格： CN¥1,599.00
由……售出:
CN¥1,599.00
+ CN¥105.99 送货

目前缺货

我们不知道该产品是否补货以及什么时候会有货。

我们接受以下付款方式

描述

Computer Aided Verification by Edited by Aarti Gupta & Edited by Sharad Malik

Please note that we cannot guarantee delivery by Christmas. Constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification CAV 2008 held in Princeton NJ USA in July 2008. This book features 33 revised full papers presented together with 14 tool papers and 2 invited papers and 4 invited tutorials.
  • 品牌: Unbranded
  • 类别: 杂志
  • 语言: English
  • 作者: Edited by Aarti Gupta & Edited by Sharad Malik
  • 出版日期: 2008-06-17
  • 页数: 558
  • 出版社／标签: SpringerVerlag Berlin and Heidelberg GmbH & Co. KG
  • 格式: Paperback softback
  • Fruugo ID: 59094871-119716756
  • ISBN: 9783540705437

配送 & 退货

在 -1 天内发货

  • STANDARD: CN¥105.99 - 之间的交付 周二 09 十二月 2025–周一 15 十二月 2025

从 英国 送货。

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