Formal Methods and Software Engineering : 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings (Programming and Software Engineering)
  • 洋書
  • 電子版あり

Formal Methods and Software Engineering : 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings (Programming and Software Engineering)  Paperback,  言語:ENG

Ait-Ameur, Yamine (EDT)/ Qin, Shengchao (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer Nature Switzerland AG(2019/10発売)
  • ポイント 101pt
  • 海外取次在庫
Engineering of Complex Computer Systems : 28th International Conference, ICECCS 2024, Limassol, Cyprus, June 19-21, 2024, Proceedings (Lecture Notes in Computer Science) (2025)
  • 洋書

Engineering of Complex Computer Systems : 28th International Conference, ICECCS 2024, Limassol, Cyprus, June 19-21, 2024, Proceedings (Lecture Notes in Computer Science) (2025)  Paperback

Bai, Guangdong (EDT)/ Ishikawa, Fuyuki (EDT)/ Ait-Ameur, Yamine (EDT)

  • ウェブストア価格 ¥15,204(本体¥13,822)
  • Springer International Publishing AG(2024/09発売)
  • ポイント 138pt
  • 海外取次在庫
Model and Data Engineering : 6th International Conference, MEDI 2016, Almería, Spain, September 21-23, 2016, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Model and Data Engineering : 6th International Conference, MEDI 2016, Almería, Spain, September 21-23, 2016, Proceedings (Lecture Notes in Computer Science)  Paperback

Bellatreche, Ladjel (EDT)/ Pastor, Óscar (EDT)/ Almendros Jiménez, Jesús M. (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2016/09発売)
  • ポイント 101pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Abstract State Machines, Alloy, B, TLA, VDM, and Z : 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings (Lecture Notes in Computer Science) (2014)
  • 洋書

Abstract State Machines, Alloy, B, TLA, VDM, and Z : 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings (Lecture Notes in Computer Science) (2014)  Paperback,  言語:ENG

Ait Ameur, Yamine (EDT)/ Schewe, Klaus-Dieter (EDT)

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/05発売)
  • ご注文いただけません
ABZ 2014: The Landing Gear Case Study : Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings (Communications in Computer and Information Scienc (2014)
  • 洋書

ABZ 2014: The Landing Gear Case Study : Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings (Communications in Computer and Information Scienc (2014)  Paperback,  言語:ENG

Boniol, Frederic (EDT)/ Wiels, Virginie (EDT)/ Ait Ameur, Yamine (EDT)

  • Springer International Publishing AG(2014/05発売)
  • ご注文いただけません