Formal Methods for Industrial Critical Systems : 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings (Programming and Software Engineering)

個数：

Formal Methods for Industrial Critical Systems : 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings (Programming and Software Engineering)

  • 提携先の海外書籍取次会社に在庫がございます。通常3週間で発送いたします。
    【重要ご説明事項】
    1. 納期遅延や、ご入手不能となる場合が若干ございます。
    2. 複数冊ご注文の場合は、ご注文数量が揃ってからまとめて発送いたします。
    3. 美品のご指定は承りかねます。

    ●3Dセキュア導入とクレジットカードによるお支払いについて
  • 【入荷遅延について】
    世界情勢の影響により、海外からお取り寄せとなる洋書・洋古書の入荷が、表示している標準的な納期よりも遅延する場合がございます。
    おそれいりますが、あらかじめご了承くださいますようお願い申し上げます。
  • ◆画像の表紙や帯等は実物とは異なる場合があります。
  • ◆ウェブストアでの洋書販売価格は、弊社店舗等での販売価格とは異なります。
    また、洋書販売価格は、ご注文確定時点での日本円価格となります。
    ご注文確定後に、同じ洋書の販売価格が変動しても、それは反映されません。
  • 製本 Paperback:紙装版/ペーパーバック版／ページ数 289 p.
  • 商品コード 9783030582975

Full Description

This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2020, which was held during September 2-3, 2020.

最近チェックした商品

Procesamiento de datos
  • 洋書
Procesamiento de da…
The Steam Team and the Engineer's Equilibrium Machine (The S.T.E.A.M. Team)
  • 洋書
The Steam Team and …
Cactus in Southern Tigray : Current Status, Potential Use, Utilization and Threat （Aufl. 2012. 84 S.）
  • 洋書
Cactus in Southern …
人妻特区（１） ヤングキングコミックス
  • 電子書籍
人妻特区（１） ヤングキングコミックス
Detection of HIV Infection in Pregnant Females : Attending Antenatal Clinic at Tertiary Care Hospital, Navi Mumbai （2013. 116 S. 220 mm）
  • 洋書
Detection of HIV In…