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

￥34,590
+ 配送料￥3,049

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
価格： ￥34,590
販売元:
￥34,590
+ 配送料￥3,049

現在在庫なし

再入荷の有無や時期は不明です。

以下の支払い方法を利用することができます

説明

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
  • カテゴリー: コンピューター、インターネット
  • フォーマット: Paperback softback
  • 刊行日: 2008-06-17
  • ページ数: 558
  • 著者: Edited by Aarti Gupta & Edited by Sharad Malik
  • 言語: English
  • 出版社 / レコード会社: SpringerVerlag Berlin and Heidelberg GmbH & Co. KG
  • Fruugo ID: 59094871-119716756
  • ISBN: 9783540705437

配送と返品

-1日間以内に発送

  • STANDARD: ￥3,049 - 間の配達 火 09 12月 2025–木 11 12月 2025

イギリスより発送。

ご注文の商品は、お客様の仕様に従い、万全の状態で配送されるように最善を尽くしています。しかし、もし注文に抜けがあったり、注文したものと違う商品が届いたり、注文に満足できないその他の理由がある場合は、注文全体やその中のいずれかの商品を返品し、その全額の返金を受けることができます。 全額返金ポリシーを見る