Rigorous State-Based Methods : 11th International Conference, ABZ 2025, Düsseldorf, Germany, June 10-13, 2025, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 予約

Rigorous State-Based Methods : 11th International Conference, ABZ 2025, Düsseldorf, Germany, June 10-13, 2025, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Leuschel, Michael (EDT)/ Ishikawa, Fuyuki (EDT)

  • Springer International Publishing AG(2025/08発売)
  • ご注文いただけません