Verification Model Checking And Abstract Interpretation 22nd International - Springer Nature B.V

¥21,390
+ 配送料¥3,149

Verification Model Checking And Abstract Interpretation 22nd International - Springer Nature B.V

販売元:

¥21,390

在庫あり
+ 配送料¥3,149

14日間返品ポリシー

支払い方法:

  • ブランド: Unbranded

商品詳細

商品詳細

Verification Model Checking And Abstract Interpretation 22nd International - Springer Nature B.V

This Book Constitutes The Proceedings Of The 22nd International Conference On Verification, Model Checking, And Abstract Interpretation, Vmcai 2021, Which Was Held Virtually During January 17-19, 2021. The Conference Was Planned To Take Place In Copenhagen, Denmark, But Changed To An Online Event Due To The Covid-19 Pandemic. The 23 Papers Presented In This Volume Were Carefully Reviewed From 48 Submissions.
  • ブランド: Unbranded
  • カテゴリー: コンピューター、インターネット
  • フォーマット: Paperback
  • 刊行日: 2021-01-12
  • ページ数: 622
  • 著者: Springer Nature B.V
  • 言語: English
  • 出版社 / レコード会社: Springer Nature B.V
  • Fruugo ID: 488399697-1010671179
  • ISBN: 9783030670665
配送

配達

24時間以内に発送

  • STANDARD: ¥3,149 - 間の配達 木 12 11月 2026–月 16 11月 2026

イギリスより発送。

返品

返品

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

全額返金ポリシーを見る