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

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

Herausgegeben:Leuschel, Michael/Ishikawa, Fuyuki

  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2025発売)
  • ご注文いただけません