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,231(本体¥15,665)
  • Springer International Publishing AG(2024/06発売)
  • ポイント 156pt
  • 海外取次在庫
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
  • 海外取次在庫