Rewriting Logic and Its Applications : 14th International Workshop, WRLA 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書

Rewriting Logic and Its Applications : 14th International Workshop, WRLA 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Bae, Kyungmin (EDT)

  • ウェブストア価格 ¥17,681(本体¥16,074)
  • Springer International Publishing AG(2022/07発売)
  • ポイント 160pt
  • 海外取次在庫
Formal Aspects of Component Software : 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings (Programming and Software Engineering)
  • 洋書
  • 電子版あり

Formal Aspects of Component Software : 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings (Programming and Software Engineering)  Paperback,  言語:ENG

Bae, Kyungmin (EDT)/ Ölveczky, Peter Csaba (EDT)

  • ウェブストア価格 ¥12,155(本体¥11,050)
  • Springer Nature Switzerland AG(2018/10発売)
  • ポイント 110pt
  • 海外取次在庫