Formal Methods and Software Engineering : 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2–6, 2024, Proceedings
  • 洋書電子書籍
  • 電子書籍
  • ポイントキャンペーン

Formal Methods and Software Engineering : 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2–6, 2024, Proceedings  言語:ENG

Ogata, Kazuhiro (EDT)/Mery, Dominique (EDT)/Sun, Meng (EDT)/Liu, Shaoying (EDT)

  • 価格 ¥12,653(本体¥11,503)
  • Springer(2024/11/28発売)
  • ポイント 2,875pt (実際に付与されるポイントはご注文内容確認画面でご確認下さい)
New Trends in Model and Data Engineering : MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24–26, 2018, Proceedings
  • 洋書電子書籍
  • 電子書籍
  • ポイントキャンペーン

New Trends in Model and Data Engineering : MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24–26, 2018, Proceedings  言語:ENG

Abdelwahed, El Hassan (EDT)/Bellatreche, Ladjel (EDT)/Benslimane, Djamal (EDT)/Golfarelli, Matteo (EDT)/Jean, Stéphane (EDT)/Mery, Dominique (EDT)

  • 価格 ¥9,732(本体¥8,848)
  • Springer(2018/10/17発売)
  • ポイント 2,200pt (実際に付与されるポイントはご注文内容確認画面でご確認下さい)