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

￥10,590
+ 配送料￥3,149

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

販売元:
  • product image

￥10,590

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

14日間返品ポリシー

支払い方法:

  • ブランド: Unbranded
商品詳細

商品詳細

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
  • カテゴリー: コンピューター、インターネット
  • フォーマット: Paperback
  • 刊行日: 2015-10-27
  • ページ数: 340
  • 著者: Springer Nature B.V
  • 言語: English
  • 出版社 / レコード会社: Springer Nature B.V
  • Fruugo ID: 469774504-983729422
  • ISBN: 9783319259413
配送

配達

24時間以内に発送

  • STANDARD: ￥3,149 - 間の配達 水 04 11月 2026–金 06 11月 2026

イギリスより発送。

返品

返品

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

全額返金ポリシーを見る