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)

  • ウェブストア価格 ¥11,303(本体¥10,276)
  • Springer Nature Switzerland AG(2019/11発売)
  • ポイント 102pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Tests and Proofs : 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings (Programming and Software Engineering) (2020)
  • 洋書
  • 電子版あり

Tests and Proofs : 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings (Programming and Software Engineering) (2020)  Paperback,  言語:ENG

Ahrendt, Wolfgang (EDT)/ Wehrheim, Heike (EDT)

  • ウェブストア価格 ¥11,303(本体¥10,276)
  • Springer Nature Switzerland AG(2020/06発売)
  • ポイント 102pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。