Rigorous State-Based Methods : 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Rigorous State-Based Methods : 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings (Lecture Notes in Computer Science)  Paperback

Bonfanti, Silvia (EDT)/ Gargantini, Angelo (EDT)/ Leuschel, Michael (EDT)

  • ウェブストア価格 ¥17,829(本体¥16,209)
  • Springer International Publishing AG(2024/06発売)
  • ポイント 162pt
  • 海外取次在庫
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,535(本体¥10,487)
  • Springer Nature Switzerland AG(2021/06発売)
  • ポイント 104pt
  • 海外取次在庫