新品:
￥13,375
ポイント: 134pt  (1%)  詳細はこちら
無料配送 4月21日 日曜日にお届け
詳細を見る
または 最も早いお届け日時指定便 4月20日 土曜日, 8:00 - 12:00の間にお届け（20 時間 12 分以内にご注文の場合）
詳細を見る
在庫あり。 在庫状況について
￥￥13,375 () 選択したオプションを含めます。 最初の月の支払いと選択されたオプションが含まれています。 詳細
価格
小計
￥￥13,375
小計
初期支払いの内訳
レジで表示される配送料、配送日、注文合計 (税込)。
出荷元
Amazon.co.jp
出荷元
Amazon.co.jp
販売元
Amazon.co.jp
販売元
Amazon.co.jp
支払い方法
お客様情報を保護しています
お客様情報を保護しています
Amazonはお客様のセキュリティとプライバシーの保護に全力で取り組んでいます。Amazonの支払いセキュリティシステムは、送信中にお客様の情報を暗号化します。お客様のクレジットカード情報を出品者と共有することはありません。また、お客様の情報を他者に販売することはありません。 詳細はこちら
支払い方法
お客様情報を保護しています
Amazonはお客様のセキュリティとプライバシーの保護に全力で取り組んでいます。Amazonの支払いセキュリティシステムは、送信中にお客様の情報を暗号化します。お客様のクレジットカード情報を出品者と共有することはありません。また、お客様の情報を他者に販売することはありません。 詳細はこちら
新品 (9)件の出品：
￥12,348  + ￥150 配送料
Kindleアプリのロゴ画像

無料のKindleアプリをダウンロードして、スマートフォン、タブレット、またはコンピューターで今すぐKindle本を読むことができます。Kindleデバイスは必要ありません。

ウェブ版Kindleなら、お使いのブラウザですぐにお読みいただけます。

携帯電話のカメラを使用する - 以下のコードをスキャンし、Kindleアプリをダウンロードしてください。

KindleアプリをダウンロードするためのQRコード

Software Engineering and Formal Methods: SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers (Lecture Notes in Computer Science) ペーパーバック – 2018/2/3

英語版 Antonio Cerone (編集), Marco Roveri (編集)
すべての形式と版を表示
{"desktop_buybox_group_1":[{"displayPrice":"￥13,375","priceAmount":13375.00,"currencySymbol":"￥","integerValue":"13,375","decimalSeparator":null,"fractionalValue":null,"symbolPosition":"left","hasSpace":false,"showFractionalPartIfEmpty":true,"offerListingId":"V1T%2BfHjAshOWKqT1H4jOPQlZnl%2BG3FmWolBfURNPbjq9F1pHTo96mTY53mDojg%2F170gtUJ6jN6leZQ%2BBXKdo9Qg4JXGX9CmWDLG17pWIkWMa4RfBE8Q18rOWWzfX20e90QB9cmyCvlM%3D","locale":"ja-JP","buyingOptionType":"NEW","aapiBuyingOptionIndex":0}]}

購入オプションとあわせ買い

This book constitutes revised selected papers from the five workshops collocated with the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017.

The 38 papers presented in this volume were carefully reviewed and selected from a total of 55 submissions. They stem from the following workshops:

DataMod 2017 -- 6th International Symposium “From Data to Models and Back"; FAACS 2017 --  1st Workshop on Formal Approaches for Advanced Computing Systems; MSE 2017 -- 1st Workshop on Microservices: Science and Engineering; CoSim-CPS 2017 -- 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems; FOCLASA 2017 -- 15th International Workshop on Foundations Of Coordination Languages and Self-Adaptive Systems​.

Previous page
  1. 本の長さ
    604ページ
  2. 言語
    英語
  3. 出版社
    Springer
  4. 発売日
    2018/2/3
  5. 寸法
    15.49 x 3.48 x 23.5 cm
  6. ISBN-10
    3319747800
  7. ISBN-13
    978-3319747804
  8. すべての詳細を表示
Next page

商品の説明

著者について

登録情報

  • 出版社 ‏ : ‎ Springer; 1st ed. 2018版 (2018/2/3)
  • 発売日 ‏ : ‎ 2018/2/3
  • 言語 ‏ : ‎ 英語
  • ペーパーバック ‏ : ‎ 604ページ
  • ISBN-10 ‏ : ‎ 3319747800
  • ISBN-13 ‏ : ‎ 978-3319747804
  • 寸法 ‏ : ‎ 15.49 x 3.48 x 23.5 cm

カスタマーレビュー

この商品をレビュー

他のお客様にも意見を伝えましょう
カスタマーレビューを書く

まだカスタマーレビューはありません