Formal Methods: Foundations and Applications : 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings (Programming and Software Engineering) (2018)
  • 洋書
  • 電子版あり

Formal Methods: Foundations and Applications : 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings (Programming and Software Engineering) (2018)  Paperback,  言語:ENG

Massoni, Tiago (EDT)/ Mousavi, Mohammad Reza (EDT)

  • ウェブストア価格 ¥13,542(本体¥12,311)
  • Springer Nature Switzerland AG(2018/10発売)
  • ポイント 123pt
  • 海外取次在庫
Topics in Theoretical Computer Science : Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Topics in Theoretical Computer Science : Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Mousavi, Mohammad (EDT)/ Sgall, Jiří (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2017/10発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。