Formal Aspects of Component Software : 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Formal Aspects of Component Software : 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback

Tapia Tarifa, Silvia Lizeth (EDT)/ Proença, José (EDT)

  • ウェブストア価格 ¥15,372(本体¥13,975)
  • Springer International Publishing AG(2022/11発売)
  • ポイント 139pt
  • 海外取次在庫
Integrated Formal Methods : 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Integrated Formal Methods : 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Ahrendt, Wolfgang (EDT)/ Tapia Tarifa, Silvia Lizeth (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2019/11発売)
  • ポイント 109pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Theoretical Aspects of Computing - ICTAC 2023 : 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Theoretical Aspects of Computing - ICTAC 2023 : 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings (Lecture Notes in Computer Science)  Paperback

Ábrahám, Erika (EDT)/ Dubslaff, Clemens (EDT)/ Tarifa, Silvia Lizeth Tapia (EDT)

  • ウェブストア価格 ¥19,765(本体¥17,969)
  • Springer International Publishing AG(2023/11発売)
  • ポイント 179pt
  • 海外取次在庫