Formal Methods For Open Object-based Distributed Systems 8th Ifip Wg 6.1 Interna

¥12,990
+ 配送料¥5,049

Formal Methods For Open Object-based Distributed Systems 8th Ifip Wg 6.1 Interna

販売元:

¥12,990

在庫あり
+ 配送料¥5,049

14日間返品ポリシー

支払い方法:


商品詳細

商品詳細

Formal Methods For Open Object-based Distributed Systems 8th Ifip Wg 6.1 Interna

This Book Constitutes The Refereed Proceedings Of The 8th Ifip Wg 6.1 International Conference On Formal Methods For Open Object-based Distributed Systems, Fmoods 2006, Held In Bologna, Italy, June 2006. The Book Presents 16 Revised Full Papers Together With An Invited Paper And Abstracts Of 2 Invited Talks. Coverage Includes Component- And Model-based Design, Service-oriented Computing, Software Quality, Modeling Languages Implementation, Formal Specification, Verification, Validation, Testing, And Service-oriented Systems.
  • Fruugo ID: 557239657-1125509338
  • ISBN: 9783540348931
配送

配達

24時間以内に発送

  • STANDARD: ¥5,049 - 間の配達 月 16 11月 2026–木 19 11月 2026

イギリスより発送。

返品

返品

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

全額返金ポリシーを見る