Rigorous State-Based Methods : 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Rigorous State-Based Methods : 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings (Theoretical Computer Science and General Issues)  Paperback

Raschke, Alexander (EDT)/ Méry, Dominique (EDT)/ Houdek, Frank (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer Nature Switzerland AG(2020/05発売)
  • ポイント 101pt
  • 海外取次在庫
Logic, Computation and Rigorous Methods : Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday (Lecture Notes in Computer Science)
  • 洋書

Logic, Computation and Rigorous Methods : Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Raschke, Alexander (EDT)/ Riccobene, Elvinia (EDT)/ Schewe, Klaus-Dieter (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer Nature Switzerland AG(2021/06発売)
  • ポイント 101pt
  • 海外取次在庫
Rigorous State-Based Methods : 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書

Rigorous State-Based Methods : 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021, Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Raschke, Alexander (EDT)/ Méry, Dominique (EDT)

  • ウェブストア価格 ¥13,175(本体¥11,978)
  • Springer Nature Switzerland AG(2021/05発売)
  • ポイント 119pt
  • 海外取次在庫